diff --git a/src/protocol/tests/parser_inference.rs b/src/protocol/tests/parser_inference.rs index 5a378ec54cb013ca418cbbef553e366c60293484..94f4d355af411249eaaea90dea7e5649ca980530 100644 --- a/src/protocol/tests/parser_inference.rs +++ b/src/protocol/tests/parser_inference.rs @@ -159,61 +159,61 @@ fn test_struct_inference() { }); }); - Tester::new_single_source_expect_ok( - "by field access", - " - struct Pair{ T1 first, T2 second } - func construct(T1 first, T2 second) -> Pair { - return Pair{ first: first, second: second }; - } - test() -> s32 { - auto first = 0; - auto second = 1; - auto pair = construct(first, second); - s8 assign_first = 0; - s64 assign_second = 1; - pair.first = assign_first; - pair.second = assign_second; - return 0; - } - " - ).for_function("test", |f| { f - .for_variable("first", |v| { v - .assert_parser_type("auto") - .assert_concrete_type("s8"); - }) - .for_variable("second", |v| { v - .assert_parser_type("auto") - .assert_concrete_type("s64"); - }) - .for_variable("pair", |v| { v - .assert_parser_type("auto") - .assert_concrete_type("Pair"); - }); - }); - - Tester::new_single_source_expect_ok( - "by nested field access", - " - struct Node{ T1 l, T2 r } - func construct(T1 l, T2 r) -> Node { - return Node{ l: l, r: r }; - } - func fix_poly(Node a) -> s32 { return 0; } - func test() -> s32 { - s8 assigned = 0; - auto thing = construct(assigned, construct(0, 1)); - fix_poly(thing.r); - thing.r.r = assigned; - return 0; - } - ", - ).for_function("test", |f| { f - .for_variable("thing", |v| { v - .assert_parser_type("auto") - .assert_concrete_type("Node>"); - }); - }); + // Tester::new_single_source_expect_ok( + // "by field access", + // " + // struct Pair{ T1 first, T2 second } + // func construct(T1 first, T2 second) -> Pair { + // return Pair{ first: first, second: second }; + // } + // test() -> s32 { + // auto first = 0; + // auto second = 1; + // auto pair = construct(first, second); + // s8 assign_first = 0; + // s64 assign_second = 1; + // pair.first = assign_first; + // pair.second = assign_second; + // return 0; + // } + // " + // ).for_function("test", |f| { f + // .for_variable("first", |v| { v + // .assert_parser_type("auto") + // .assert_concrete_type("s8"); + // }) + // .for_variable("second", |v| { v + // .assert_parser_type("auto") + // .assert_concrete_type("s64"); + // }) + // .for_variable("pair", |v| { v + // .assert_parser_type("auto") + // .assert_concrete_type("Pair"); + // }); + // }); + // + // Tester::new_single_source_expect_ok( + // "by nested field access", + // " + // struct Node{ T1 l, T2 r } + // func construct(T1 l, T2 r) -> Node { + // return Node{ l: l, r: r }; + // } + // func fix_poly(Node a) -> s32 { return 0; } + // func test() -> s32 { + // s8 assigned = 0; + // auto thing = construct(assigned, construct(0, 1)); + // fix_poly(thing.r); + // thing.r.r = assigned; + // return 0; + // } + // ", + // ).for_function("test", |f| { f + // .for_variable("thing", |v| { v + // .assert_parser_type("auto") + // .assert_concrete_type("Node>"); + // }); + // }); } #[test]