~mna/snow

bba468638a14ae74e8ccb5fad9f2e22b643a9d66 — Martin Angers 1 year, 10 months ago fe01ee3
pkg/typecheck: remove typecheck package
735 files changed, 6 insertions(+), 10821 deletions(-)

M cmd/snowc/main.go
M pkg/printer/printer.go
M pkg/semantic/runner.go
D pkg/typecheck/check_pass.go
D pkg/typecheck/check_pass_test.go
D pkg/typecheck/checker.go
D pkg/typecheck/checker_test.go
D pkg/typecheck/convert.go
D pkg/typecheck/doc.go
D pkg/typecheck/object.go
D pkg/typecheck/query.go
D pkg/typecheck/query_test.go
D pkg/typecheck/scope.go
D pkg/typecheck/scope_pass.go
D pkg/typecheck/scope_pass_test.go
D pkg/typecheck/scope_test.go
D pkg/typecheck/static_pass.go
D pkg/typecheck/static_pass_test.go
D pkg/typecheck/testdata/check/cycle.snow.err
D pkg/typecheck/testdata/check/cycle.snow.want
D pkg/typecheck/testdata/check/empty.snow.err
D pkg/typecheck/testdata/check/empty.snow.want
D pkg/typecheck/testdata/check/fn.snow.err
D pkg/typecheck/testdata/check/fn.snow.want
D pkg/typecheck/testdata/check/fn_access_invalid_struct_field.snow.err
D pkg/typecheck/testdata/check/fn_access_invalid_struct_field.snow.want
D pkg/typecheck/testdata/check/fn_access_struct_type_field.snow.err
D pkg/typecheck/testdata/check/fn_access_struct_type_field.snow.want
D pkg/typecheck/testdata/check/fn_access_var_outside_struct.snow.err
D pkg/typecheck/testdata/check/fn_access_var_outside_struct.snow.want
D pkg/typecheck/testdata/check/fn_assign_invalid.snow.err
D pkg/typecheck/testdata/check/fn_assign_invalid.snow.want
D pkg/typecheck/testdata/check/fn_assign_let.snow.err
D pkg/typecheck/testdata/check/fn_assign_let.snow.want
D pkg/typecheck/testdata/check/fn_assign_struct_fields.snow.err
D pkg/typecheck/testdata/check/fn_assign_struct_fields.snow.want
D pkg/typecheck/testdata/check/fn_assign_struct_method_to_var.snow.err
D pkg/typecheck/testdata/check/fn_assign_struct_method_to_var.snow.want
D pkg/typecheck/testdata/check/fn_assign_type.snow.err
D pkg/typecheck/testdata/check/fn_assign_type.snow.want
D pkg/typecheck/testdata/check/fn_assign_unifying_type.snow.err
D pkg/typecheck/testdata/check/fn_assign_unifying_type.snow.want
D pkg/typecheck/testdata/check/fn_call_fn_value_with_labels.snow.err
D pkg/typecheck/testdata/check/fn_call_fn_value_with_labels.snow.want
D pkg/typecheck/testdata/check/fn_call_struct_init.snow.err
D pkg/typecheck/testdata/check/fn_call_struct_init.snow.want
D pkg/typecheck/testdata/check/fn_call_struct_init_no_label.snow.err
D pkg/typecheck/testdata/check/fn_call_struct_init_no_label.snow.want
D pkg/typecheck/testdata/check/fn_call_struct_method.snow.err
D pkg/typecheck/testdata/check/fn_call_struct_method.snow.want
D pkg/typecheck/testdata/check/fn_call_unifying_type.snow.err
D pkg/typecheck/testdata/check/fn_call_unifying_type.snow.want
D pkg/typecheck/testdata/check/fn_call_with_invalid_labels.snow.err
D pkg/typecheck/testdata/check/fn_call_with_invalid_labels.snow.want
D pkg/typecheck/testdata/check/fn_call_with_labels.snow.err
D pkg/typecheck/testdata/check/fn_call_with_labels.snow.want
D pkg/typecheck/testdata/check/fn_call_wrong_arity.snow.err
D pkg/typecheck/testdata/check/fn_call_wrong_arity.snow.want
D pkg/typecheck/testdata/check/fn_compare.snow.err
D pkg/typecheck/testdata/check/fn_compare.snow.want
D pkg/typecheck/testdata/check/fn_complex_selectors.snow.err
D pkg/typecheck/testdata/check/fn_complex_selectors.snow.want
D pkg/typecheck/testdata/check/fn_extern_pkg_before_conflict_name.snow.err
D pkg/typecheck/testdata/check/fn_extern_pkg_before_conflict_name.snow.want
D pkg/typecheck/testdata/check/fn_extern_pkg_conflict_name.snow.err
D pkg/typecheck/testdata/check/fn_extern_pkg_conflict_name.snow.want
D pkg/typecheck/testdata/check/fn_extern_ref_method.snow.err
D pkg/typecheck/testdata/check/fn_extern_ref_method.snow.want
D pkg/typecheck/testdata/check/fn_extern_with_body.snow.err
D pkg/typecheck/testdata/check/fn_extern_with_body.snow.want
D pkg/typecheck/testdata/check/fn_fn_arg.snow.err
D pkg/typecheck/testdata/check/fn_fn_arg.snow.want
D pkg/typecheck/testdata/check/fn_guard_fallthrough.snow.err
D pkg/typecheck/testdata/check/fn_guard_fallthrough.snow.want
D pkg/typecheck/testdata/check/fn_ident_as_type.snow.err
D pkg/typecheck/testdata/check/fn_ident_as_type.snow.want
D pkg/typecheck/testdata/check/fn_init_order.snow.err
D pkg/typecheck/testdata/check/fn_init_order.snow.want
D pkg/typecheck/testdata/check/fn_invalid_attr.snow.err
D pkg/typecheck/testdata/check/fn_invalid_attr.snow.want
D pkg/typecheck/testdata/check/fn_invalid_main.snow.err
D pkg/typecheck/testdata/check/fn_invalid_main.snow.want
D pkg/typecheck/testdata/check/fn_invalid_ref.snow.err
D pkg/typecheck/testdata/check/fn_invalid_ref.snow.want
D pkg/typecheck/testdata/check/fn_invalid_ref_call.snow.err
D pkg/typecheck/testdata/check/fn_invalid_ref_call.snow.want
D pkg/typecheck/testdata/check/fn_invalid_ref_call_via_value.snow.err
D pkg/typecheck/testdata/check/fn_invalid_ref_call_via_value.snow.want
D pkg/typecheck/testdata/check/fn_invalid_return.snow.err
D pkg/typecheck/testdata/check/fn_invalid_return.snow.want
D pkg/typecheck/testdata/check/fn_invalid_tuple_access.snow.err
D pkg/typecheck/testdata/check/fn_invalid_tuple_access.snow.want
D pkg/typecheck/testdata/check/fn_main_extern.snow.err
D pkg/typecheck/testdata/check/fn_main_extern.snow.want
D pkg/typecheck/testdata/check/fn_many_extern.snow.err
D pkg/typecheck/testdata/check/fn_many_extern.snow.want
D pkg/typecheck/testdata/check/fn_method_explicit_self.snow.err
D pkg/typecheck/testdata/check/fn_method_explicit_self.snow.want
D pkg/typecheck/testdata/check/fn_nested_block.snow.err
D pkg/typecheck/testdata/check/fn_nested_block.snow.want
D pkg/typecheck/testdata/check/fn_nested_fn.snow.err
D pkg/typecheck/testdata/check/fn_nested_fn.snow.want
D pkg/typecheck/testdata/check/fn_nested_fn_init_order.snow.err
D pkg/typecheck/testdata/check/fn_nested_fn_init_order.snow.want
D pkg/typecheck/testdata/check/fn_nested_struct_method.snow.err
D pkg/typecheck/testdata/check/fn_nested_struct_method.snow.want
D pkg/typecheck/testdata/check/fn_nested_struct_self.snow.err
D pkg/typecheck/testdata/check/fn_nested_struct_self.snow.want
D pkg/typecheck/testdata/check/fn_nested_structs.snow.err
D pkg/typecheck/testdata/check/fn_nested_structs.snow.want
D pkg/typecheck/testdata/check/fn_nested_tuple_type.snow.err
D pkg/typecheck/testdata/check/fn_nested_tuple_type.snow.want
D pkg/typecheck/testdata/check/fn_non_type_selectors.snow.err
D pkg/typecheck/testdata/check/fn_non_type_selectors.snow.want
D pkg/typecheck/testdata/check/fn_param_type_is_var_in_body.snow.err
D pkg/typecheck/testdata/check/fn_param_type_is_var_in_body.snow.want
D pkg/typecheck/testdata/check/fn_params.snow.err
D pkg/typecheck/testdata/check/fn_params.snow.want
D pkg/typecheck/testdata/check/fn_params_locals.snow.err
D pkg/typecheck/testdata/check/fn_params_locals.snow.want
D pkg/typecheck/testdata/check/fn_recursion.snow.err
D pkg/typecheck/testdata/check/fn_recursion.snow.want
D pkg/typecheck/testdata/check/fn_return_internal_struct.snow.err
D pkg/typecheck/testdata/check/fn_return_internal_struct.snow.want
D pkg/typecheck/testdata/check/fn_return_missing_value.snow.err
D pkg/typecheck/testdata/check/fn_return_missing_value.snow.want
D pkg/typecheck/testdata/check/fn_return_struct.snow.err
D pkg/typecheck/testdata/check/fn_return_struct.snow.want
D pkg/typecheck/testdata/check/fn_return_unifying_type.snow.err
D pkg/typecheck/testdata/check/fn_return_unifying_type.snow.want
D pkg/typecheck/testdata/check/fn_struct_main_method.snow.err
D pkg/typecheck/testdata/check/fn_struct_main_method.snow.want
D pkg/typecheck/testdata/check/fn_struct_method_access_top_level.snow.err
D pkg/typecheck/testdata/check/fn_struct_method_access_top_level.snow.want
D pkg/typecheck/testdata/check/fn_struct_order_independent.snow.err
D pkg/typecheck/testdata/check/fn_struct_order_independent.snow.want
D pkg/typecheck/testdata/check/fn_struct_same_name_diff_scope.snow.err
D pkg/typecheck/testdata/check/fn_struct_same_name_diff_scope.snow.want
D pkg/typecheck/testdata/check/fn_struct_selector.snow.err
D pkg/typecheck/testdata/check/fn_struct_selector.snow.want
D pkg/typecheck/testdata/check/fn_struct_self_shadow.snow.err
D pkg/typecheck/testdata/check/fn_struct_self_shadow.snow.want
D pkg/typecheck/testdata/check/fn_struct_self_uses.snow.err
D pkg/typecheck/testdata/check/fn_struct_self_uses.snow.want
D pkg/typecheck/testdata/check/fn_tuple_assign_compatible_types.snow.err
D pkg/typecheck/testdata/check/fn_tuple_assign_compatible_types.snow.want
D pkg/typecheck/testdata/check/fn_tuple_assign_incompatible_types.snow.err
D pkg/typecheck/testdata/check/fn_tuple_assign_incompatible_types.snow.want
D pkg/typecheck/testdata/check/fn_tuple_expr_select_field.snow.err
D pkg/typecheck/testdata/check/fn_tuple_expr_select_field.snow.want
D pkg/typecheck/testdata/check/fn_type_as_value.snow.err
D pkg/typecheck/testdata/check/fn_type_as_value.snow.want
D pkg/typecheck/testdata/check/fn_unknown_symbol.snow.err
D pkg/typecheck/testdata/check/fn_unknown_symbol.snow.want
D pkg/typecheck/testdata/check/fn_var_as_param_type.snow.err
D pkg/typecheck/testdata/check/fn_var_as_param_type.snow.want
D pkg/typecheck/testdata/check/fn_without_body.snow.err
D pkg/typecheck/testdata/check/fn_without_body.snow.want
D pkg/typecheck/testdata/check/fns.snow.err
D pkg/typecheck/testdata/check/fns.snow.want
D pkg/typecheck/testdata/check/guard_else.snow.err
D pkg/typecheck/testdata/check/guard_else.snow.want
D pkg/typecheck/testdata/check/if_else_if.snow.err
D pkg/typecheck/testdata/check/if_else_if.snow.want
D pkg/typecheck/testdata/check/if_non_bool.snow.err
D pkg/typecheck/testdata/check/if_non_bool.snow.want
D pkg/typecheck/testdata/check/invalid_binary_op.snow.err
D pkg/typecheck/testdata/check/invalid_binary_op.snow.want
D pkg/typecheck/testdata/check/let.snow.err
D pkg/typecheck/testdata/check/let.snow.want
D pkg/typecheck/testdata/check/let_invalid_tuple_type.snow.err
D pkg/typecheck/testdata/check/let_invalid_tuple_type.snow.want
D pkg/typecheck/testdata/check/let_invalid_unary.snow.err
D pkg/typecheck/testdata/check/let_invalid_unary.snow.want
D pkg/typecheck/testdata/check/let_unary.snow.err
D pkg/typecheck/testdata/check/let_unary.snow.want
D pkg/typecheck/testdata/check/paren_type.snow.err
D pkg/typecheck/testdata/check/paren_type.snow.want
D pkg/typecheck/testdata/check/top_level_fn_init_order.snow.err
D pkg/typecheck/testdata/check/top_level_fn_init_order.snow.want
D pkg/typecheck/testdata/check/top_level_init_order.snow.err
D pkg/typecheck/testdata/check/top_level_init_order.snow.want
D pkg/typecheck/testdata/check/var.snow.err
D pkg/typecheck/testdata/check/var.snow.want
D pkg/typecheck/testdata/check/var_auto_ref.snow.err
D pkg/typecheck/testdata/check/var_auto_ref.snow.want
D pkg/typecheck/testdata/check/var_bool.snow.err
D pkg/typecheck/testdata/check/var_bool.snow.want
D pkg/typecheck/testdata/check/var_duplicate_symbol.snow.err
D pkg/typecheck/testdata/check/var_duplicate_symbol.snow.want
D pkg/typecheck/testdata/check/var_tuple_type.snow.err
D pkg/typecheck/testdata/check/var_tuple_type.snow.want
D pkg/typecheck/testdata/cycle.snow
D pkg/typecheck/testdata/empty.snow
D pkg/typecheck/testdata/fn.snow
D pkg/typecheck/testdata/fn_access_invalid_struct_field.snow
D pkg/typecheck/testdata/fn_access_struct_type_field.snow
D pkg/typecheck/testdata/fn_access_var_outside_struct.snow
D pkg/typecheck/testdata/fn_assign_invalid.snow
D pkg/typecheck/testdata/fn_assign_let.snow
D pkg/typecheck/testdata/fn_assign_struct_fields.snow
D pkg/typecheck/testdata/fn_assign_struct_method_to_var.snow
D pkg/typecheck/testdata/fn_assign_type.snow
D pkg/typecheck/testdata/fn_assign_unifying_type.snow
D pkg/typecheck/testdata/fn_call_fn_value_with_labels.snow
D pkg/typecheck/testdata/fn_call_struct_init.snow
D pkg/typecheck/testdata/fn_call_struct_init_no_label.snow
D pkg/typecheck/testdata/fn_call_struct_method.snow
D pkg/typecheck/testdata/fn_call_unifying_type.snow
D pkg/typecheck/testdata/fn_call_with_invalid_labels.snow
D pkg/typecheck/testdata/fn_call_with_labels.snow
D pkg/typecheck/testdata/fn_call_wrong_arity.snow
D pkg/typecheck/testdata/fn_compare.snow
D pkg/typecheck/testdata/fn_complex_selectors.snow
D pkg/typecheck/testdata/fn_extern_pkg_before_conflict_name.snow
D pkg/typecheck/testdata/fn_extern_pkg_conflict_name.snow
D pkg/typecheck/testdata/fn_extern_ref_method.snow
D pkg/typecheck/testdata/fn_extern_with_body.snow
D pkg/typecheck/testdata/fn_fn_arg.snow
D pkg/typecheck/testdata/fn_guard_fallthrough.snow
D pkg/typecheck/testdata/fn_ident_as_type.snow
D pkg/typecheck/testdata/fn_init_order.snow
D pkg/typecheck/testdata/fn_invalid_attr.snow
D pkg/typecheck/testdata/fn_invalid_main.snow
D pkg/typecheck/testdata/fn_invalid_ref.snow
D pkg/typecheck/testdata/fn_invalid_ref_call.snow
D pkg/typecheck/testdata/fn_invalid_ref_call_via_value.snow
D pkg/typecheck/testdata/fn_invalid_return.snow
D pkg/typecheck/testdata/fn_invalid_tuple_access.snow
D pkg/typecheck/testdata/fn_main_extern.snow
D pkg/typecheck/testdata/fn_many_extern.snow
D pkg/typecheck/testdata/fn_method_explicit_self.snow
D pkg/typecheck/testdata/fn_nested_block.snow
D pkg/typecheck/testdata/fn_nested_fn.snow
D pkg/typecheck/testdata/fn_nested_fn_init_order.snow
D pkg/typecheck/testdata/fn_nested_struct_method.snow
D pkg/typecheck/testdata/fn_nested_struct_self.snow
D pkg/typecheck/testdata/fn_nested_structs.snow
D pkg/typecheck/testdata/fn_nested_tuple_type.snow
D pkg/typecheck/testdata/fn_non_type_selectors.snow
D pkg/typecheck/testdata/fn_param_type_is_var_in_body.snow
D pkg/typecheck/testdata/fn_params.snow
D pkg/typecheck/testdata/fn_params_locals.snow
D pkg/typecheck/testdata/fn_recursion.snow
D pkg/typecheck/testdata/fn_return_internal_struct.snow
D pkg/typecheck/testdata/fn_return_missing_value.snow
D pkg/typecheck/testdata/fn_return_struct.snow
D pkg/typecheck/testdata/fn_return_unifying_type.snow
D pkg/typecheck/testdata/fn_struct_main_method.snow
D pkg/typecheck/testdata/fn_struct_method_access_top_level.snow
D pkg/typecheck/testdata/fn_struct_order_independent.snow
D pkg/typecheck/testdata/fn_struct_same_name_diff_scope.snow
D pkg/typecheck/testdata/fn_struct_selector.snow
D pkg/typecheck/testdata/fn_struct_self_shadow.snow
D pkg/typecheck/testdata/fn_struct_self_uses.snow
D pkg/typecheck/testdata/fn_tuple_assign_compatible_types.snow
D pkg/typecheck/testdata/fn_tuple_assign_incompatible_types.snow
D pkg/typecheck/testdata/fn_tuple_expr_select_field.snow
D pkg/typecheck/testdata/fn_type_as_value.snow
D pkg/typecheck/testdata/fn_unknown_symbol.snow
D pkg/typecheck/testdata/fn_var_as_param_type.snow
D pkg/typecheck/testdata/fn_without_body.snow
D pkg/typecheck/testdata/fns.snow
D pkg/typecheck/testdata/guard_else.snow
D pkg/typecheck/testdata/if_else_if.snow
D pkg/typecheck/testdata/if_non_bool.snow
D pkg/typecheck/testdata/invalid_binary_op.snow
D pkg/typecheck/testdata/let.snow
D pkg/typecheck/testdata/let_invalid_tuple_type.snow
D pkg/typecheck/testdata/let_invalid_unary.snow
D pkg/typecheck/testdata/let_unary.snow
D pkg/typecheck/testdata/paren_type.snow
D pkg/typecheck/testdata/query/fallthrough/fn_block_return.snow
D pkg/typecheck/testdata/query/fallthrough/fn_body_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_guard_false.snow
D pkg/typecheck/testdata/query/fallthrough/fn_guard_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_else_false.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_else_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_else_true2.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_elseif_else_false.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_elseif_else_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_elseif_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_elseif_true2.snow
D pkg/typecheck/testdata/query/fallthrough/fn_if_no_else_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_nested_false.snow
D pkg/typecheck/testdata/query/fallthrough/fn_nested_inner_false.snow
D pkg/typecheck/testdata/query/fallthrough/fn_nested_true.snow
D pkg/typecheck/testdata/query/fallthrough/fn_stmt_after_return_false.snow
D pkg/typecheck/testdata/query/fallthrough/guard_if_else_false.snow
D pkg/typecheck/testdata/query/fallthrough/guard_if_true.snow
D pkg/typecheck/testdata/scopes/cycle.snow.err
D pkg/typecheck/testdata/scopes/cycle.snow.want
D pkg/typecheck/testdata/scopes/empty.snow.err
D pkg/typecheck/testdata/scopes/empty.snow.want
D pkg/typecheck/testdata/scopes/fn.snow.err
D pkg/typecheck/testdata/scopes/fn.snow.want
D pkg/typecheck/testdata/scopes/fn_access_invalid_struct_field.snow.err
D pkg/typecheck/testdata/scopes/fn_access_invalid_struct_field.snow.want
D pkg/typecheck/testdata/scopes/fn_access_struct_type_field.snow.err
D pkg/typecheck/testdata/scopes/fn_access_struct_type_field.snow.want
D pkg/typecheck/testdata/scopes/fn_access_var_outside_struct.snow.err
D pkg/typecheck/testdata/scopes/fn_access_var_outside_struct.snow.want
D pkg/typecheck/testdata/scopes/fn_assign_invalid.snow.err
D pkg/typecheck/testdata/scopes/fn_assign_invalid.snow.want
D pkg/typecheck/testdata/scopes/fn_assign_let.snow.err
D pkg/typecheck/testdata/scopes/fn_assign_let.snow.want
D pkg/typecheck/testdata/scopes/fn_assign_struct_fields.snow.err
D pkg/typecheck/testdata/scopes/fn_assign_struct_fields.snow.want
D pkg/typecheck/testdata/scopes/fn_assign_struct_method_to_var.snow.err
D pkg/typecheck/testdata/scopes/fn_assign_struct_method_to_var.snow.want
D pkg/typecheck/testdata/scopes/fn_assign_type.snow.err
D pkg/typecheck/testdata/scopes/fn_assign_type.snow.want
D pkg/typecheck/testdata/scopes/fn_assign_unifying_type.snow.err
D pkg/typecheck/testdata/scopes/fn_assign_unifying_type.snow.want
D pkg/typecheck/testdata/scopes/fn_call_fn_value_with_labels.snow.err
D pkg/typecheck/testdata/scopes/fn_call_fn_value_with_labels.snow.want
D pkg/typecheck/testdata/scopes/fn_call_struct_init.snow.err
D pkg/typecheck/testdata/scopes/fn_call_struct_init.snow.want
D pkg/typecheck/testdata/scopes/fn_call_struct_init_no_label.snow.err
D pkg/typecheck/testdata/scopes/fn_call_struct_init_no_label.snow.want
D pkg/typecheck/testdata/scopes/fn_call_struct_method.snow.err
D pkg/typecheck/testdata/scopes/fn_call_struct_method.snow.want
D pkg/typecheck/testdata/scopes/fn_call_unifying_type.snow.err
D pkg/typecheck/testdata/scopes/fn_call_unifying_type.snow.want
D pkg/typecheck/testdata/scopes/fn_call_with_invalid_labels.snow.err
D pkg/typecheck/testdata/scopes/fn_call_with_invalid_labels.snow.want
D pkg/typecheck/testdata/scopes/fn_call_with_labels.snow.err
D pkg/typecheck/testdata/scopes/fn_call_with_labels.snow.want
D pkg/typecheck/testdata/scopes/fn_call_wrong_arity.snow.err
D pkg/typecheck/testdata/scopes/fn_call_wrong_arity.snow.want
D pkg/typecheck/testdata/scopes/fn_compare.snow.err
D pkg/typecheck/testdata/scopes/fn_compare.snow.want
D pkg/typecheck/testdata/scopes/fn_complex_selectors.snow.err
D pkg/typecheck/testdata/scopes/fn_complex_selectors.snow.want
D pkg/typecheck/testdata/scopes/fn_extern_pkg_before_conflict_name.snow.err
D pkg/typecheck/testdata/scopes/fn_extern_pkg_before_conflict_name.snow.want
D pkg/typecheck/testdata/scopes/fn_extern_pkg_conflict_name.snow.err
D pkg/typecheck/testdata/scopes/fn_extern_pkg_conflict_name.snow.want
D pkg/typecheck/testdata/scopes/fn_extern_ref_method.snow.err
D pkg/typecheck/testdata/scopes/fn_extern_ref_method.snow.want
D pkg/typecheck/testdata/scopes/fn_extern_with_body.snow.err
D pkg/typecheck/testdata/scopes/fn_extern_with_body.snow.want
D pkg/typecheck/testdata/scopes/fn_fn_arg.snow.err
D pkg/typecheck/testdata/scopes/fn_fn_arg.snow.want
D pkg/typecheck/testdata/scopes/fn_guard_fallthrough.snow.err
D pkg/typecheck/testdata/scopes/fn_guard_fallthrough.snow.want
D pkg/typecheck/testdata/scopes/fn_ident_as_type.snow.err
D pkg/typecheck/testdata/scopes/fn_ident_as_type.snow.want
D pkg/typecheck/testdata/scopes/fn_init_order.snow.err
D pkg/typecheck/testdata/scopes/fn_init_order.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_attr.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_attr.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_main.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_main.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_ref.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_ref.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_ref_call.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_ref_call.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_ref_call_via_value.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_ref_call_via_value.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_return.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_return.snow.want
D pkg/typecheck/testdata/scopes/fn_invalid_tuple_access.snow.err
D pkg/typecheck/testdata/scopes/fn_invalid_tuple_access.snow.want
D pkg/typecheck/testdata/scopes/fn_main_extern.snow.err
D pkg/typecheck/testdata/scopes/fn_main_extern.snow.want
D pkg/typecheck/testdata/scopes/fn_many_extern.snow.err
D pkg/typecheck/testdata/scopes/fn_many_extern.snow.want
D pkg/typecheck/testdata/scopes/fn_method_explicit_self.snow.err
D pkg/typecheck/testdata/scopes/fn_method_explicit_self.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_block.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_block.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_fn.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_fn.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_fn_init_order.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_fn_init_order.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_struct_method.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_struct_method.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_struct_self.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_struct_self.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_structs.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_structs.snow.want
D pkg/typecheck/testdata/scopes/fn_nested_tuple_type.snow.err
D pkg/typecheck/testdata/scopes/fn_nested_tuple_type.snow.want
D pkg/typecheck/testdata/scopes/fn_non_type_selectors.snow.err
D pkg/typecheck/testdata/scopes/fn_non_type_selectors.snow.want
D pkg/typecheck/testdata/scopes/fn_param_type_is_var_in_body.snow.err
D pkg/typecheck/testdata/scopes/fn_param_type_is_var_in_body.snow.want
D pkg/typecheck/testdata/scopes/fn_params.snow.err
D pkg/typecheck/testdata/scopes/fn_params.snow.want
D pkg/typecheck/testdata/scopes/fn_params_locals.snow.err
D pkg/typecheck/testdata/scopes/fn_params_locals.snow.want
D pkg/typecheck/testdata/scopes/fn_recursion.snow.err
D pkg/typecheck/testdata/scopes/fn_recursion.snow.want
D pkg/typecheck/testdata/scopes/fn_return_internal_struct.snow.err
D pkg/typecheck/testdata/scopes/fn_return_internal_struct.snow.want
D pkg/typecheck/testdata/scopes/fn_return_missing_value.snow.err
D pkg/typecheck/testdata/scopes/fn_return_missing_value.snow.want
D pkg/typecheck/testdata/scopes/fn_return_struct.snow.err
D pkg/typecheck/testdata/scopes/fn_return_struct.snow.want
D pkg/typecheck/testdata/scopes/fn_return_unifying_type.snow.err
D pkg/typecheck/testdata/scopes/fn_return_unifying_type.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_main_method.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_main_method.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_method_access_top_level.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_method_access_top_level.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_order_independent.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_order_independent.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_same_name_diff_scope.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_same_name_diff_scope.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_selector.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_selector.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_self_shadow.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_self_shadow.snow.want
D pkg/typecheck/testdata/scopes/fn_struct_self_uses.snow.err
D pkg/typecheck/testdata/scopes/fn_struct_self_uses.snow.want
D pkg/typecheck/testdata/scopes/fn_tuple_assign_compatible_types.snow.err
D pkg/typecheck/testdata/scopes/fn_tuple_assign_compatible_types.snow.want
D pkg/typecheck/testdata/scopes/fn_tuple_assign_incompatible_types.snow.err
D pkg/typecheck/testdata/scopes/fn_tuple_assign_incompatible_types.snow.want
D pkg/typecheck/testdata/scopes/fn_tuple_expr_select_field.snow.err
D pkg/typecheck/testdata/scopes/fn_tuple_expr_select_field.snow.want
D pkg/typecheck/testdata/scopes/fn_type_as_value.snow.err
D pkg/typecheck/testdata/scopes/fn_type_as_value.snow.want
D pkg/typecheck/testdata/scopes/fn_unknown_symbol.snow.err
D pkg/typecheck/testdata/scopes/fn_unknown_symbol.snow.want
D pkg/typecheck/testdata/scopes/fn_var_as_param_type.snow.err
D pkg/typecheck/testdata/scopes/fn_var_as_param_type.snow.want
D pkg/typecheck/testdata/scopes/fn_without_body.snow.err
D pkg/typecheck/testdata/scopes/fn_without_body.snow.want
D pkg/typecheck/testdata/scopes/fns.snow.err
D pkg/typecheck/testdata/scopes/fns.snow.want
D pkg/typecheck/testdata/scopes/guard_else.snow.err
D pkg/typecheck/testdata/scopes/guard_else.snow.want
D pkg/typecheck/testdata/scopes/if_else_if.snow.err
D pkg/typecheck/testdata/scopes/if_else_if.snow.want
D pkg/typecheck/testdata/scopes/if_non_bool.snow.err
D pkg/typecheck/testdata/scopes/if_non_bool.snow.want
D pkg/typecheck/testdata/scopes/invalid_binary_op.snow.err
D pkg/typecheck/testdata/scopes/invalid_binary_op.snow.want
D pkg/typecheck/testdata/scopes/let.snow.err
D pkg/typecheck/testdata/scopes/let.snow.want
D pkg/typecheck/testdata/scopes/let_invalid_tuple_type.snow.err
D pkg/typecheck/testdata/scopes/let_invalid_tuple_type.snow.want
D pkg/typecheck/testdata/scopes/let_invalid_unary.snow.err
D pkg/typecheck/testdata/scopes/let_invalid_unary.snow.want
D pkg/typecheck/testdata/scopes/let_unary.snow.err
D pkg/typecheck/testdata/scopes/let_unary.snow.want
D pkg/typecheck/testdata/scopes/paren_type.snow.err
D pkg/typecheck/testdata/scopes/paren_type.snow.want
D pkg/typecheck/testdata/scopes/top_level_fn_init_order.snow.err
D pkg/typecheck/testdata/scopes/top_level_fn_init_order.snow.want
D pkg/typecheck/testdata/scopes/top_level_init_order.snow.err
D pkg/typecheck/testdata/scopes/top_level_init_order.snow.want
D pkg/typecheck/testdata/scopes/var.snow.err
D pkg/typecheck/testdata/scopes/var.snow.want
D pkg/typecheck/testdata/scopes/var_auto_ref.snow.err
D pkg/typecheck/testdata/scopes/var_auto_ref.snow.want
D pkg/typecheck/testdata/scopes/var_bool.snow.err
D pkg/typecheck/testdata/scopes/var_bool.snow.want
D pkg/typecheck/testdata/scopes/var_duplicate_symbol.snow.err
D pkg/typecheck/testdata/scopes/var_duplicate_symbol.snow.want
D pkg/typecheck/testdata/scopes/var_tuple_type.snow.err
D pkg/typecheck/testdata/scopes/var_tuple_type.snow.want
D pkg/typecheck/testdata/static/cycle.snow.err
D pkg/typecheck/testdata/static/empty.snow.err
D pkg/typecheck/testdata/static/fn.snow.err
D pkg/typecheck/testdata/static/fn_access_invalid_struct_field.snow.err
D pkg/typecheck/testdata/static/fn_access_struct_type_field.snow.err
D pkg/typecheck/testdata/static/fn_access_var_outside_struct.snow.err
D pkg/typecheck/testdata/static/fn_assign_invalid.snow.err
D pkg/typecheck/testdata/static/fn_assign_let.snow.err
D pkg/typecheck/testdata/static/fn_assign_struct_fields.snow.err
D pkg/typecheck/testdata/static/fn_assign_struct_method_to_var.snow.err
D pkg/typecheck/testdata/static/fn_assign_type.snow.err
D pkg/typecheck/testdata/static/fn_assign_unifying_type.snow.err
D pkg/typecheck/testdata/static/fn_call_fn_value_with_labels.snow.err
D pkg/typecheck/testdata/static/fn_call_struct_init.snow.err
D pkg/typecheck/testdata/static/fn_call_struct_init_no_label.snow.err
D pkg/typecheck/testdata/static/fn_call_struct_method.snow.err
D pkg/typecheck/testdata/static/fn_call_unifying_type.snow.err
D pkg/typecheck/testdata/static/fn_call_with_invalid_labels.snow.err
D pkg/typecheck/testdata/static/fn_call_with_labels.snow.err
D pkg/typecheck/testdata/static/fn_call_wrong_arity.snow.err
D pkg/typecheck/testdata/static/fn_compare.snow.err
D pkg/typecheck/testdata/static/fn_complex_selectors.snow.err
D pkg/typecheck/testdata/static/fn_extern_pkg_before_conflict_name.snow.err
D pkg/typecheck/testdata/static/fn_extern_pkg_conflict_name.snow.err
D pkg/typecheck/testdata/static/fn_extern_ref_method.snow.err
D pkg/typecheck/testdata/static/fn_extern_with_body.snow.err
D pkg/typecheck/testdata/static/fn_fn_arg.snow.err
D pkg/typecheck/testdata/static/fn_guard_fallthrough.snow.err
D pkg/typecheck/testdata/static/fn_ident_as_type.snow.err
D pkg/typecheck/testdata/static/fn_init_order.snow.err
D pkg/typecheck/testdata/static/fn_invalid_attr.snow.err
D pkg/typecheck/testdata/static/fn_invalid_main.snow.err
D pkg/typecheck/testdata/static/fn_invalid_ref.snow.err
D pkg/typecheck/testdata/static/fn_invalid_ref_call.snow.err
D pkg/typecheck/testdata/static/fn_invalid_ref_call_via_value.snow.err
D pkg/typecheck/testdata/static/fn_invalid_return.snow.err
D pkg/typecheck/testdata/static/fn_invalid_tuple_access.snow.err
D pkg/typecheck/testdata/static/fn_main_extern.snow.err
D pkg/typecheck/testdata/static/fn_many_extern.snow.err
D pkg/typecheck/testdata/static/fn_method_explicit_self.snow.err
D pkg/typecheck/testdata/static/fn_nested_block.snow.err
D pkg/typecheck/testdata/static/fn_nested_fn.snow.err
D pkg/typecheck/testdata/static/fn_nested_fn_init_order.snow.err
D pkg/typecheck/testdata/static/fn_nested_struct_method.snow.err
D pkg/typecheck/testdata/static/fn_nested_struct_self.snow.err
D pkg/typecheck/testdata/static/fn_nested_structs.snow.err
D pkg/typecheck/testdata/static/fn_nested_tuple_type.snow.err
D pkg/typecheck/testdata/static/fn_non_type_selectors.snow.err
D pkg/typecheck/testdata/static/fn_param_type_is_var_in_body.snow.err
D pkg/typecheck/testdata/static/fn_params.snow.err
D pkg/typecheck/testdata/static/fn_params_locals.snow.err
D pkg/typecheck/testdata/static/fn_recursion.snow.err
D pkg/typecheck/testdata/static/fn_return_internal_struct.snow.err
D pkg/typecheck/testdata/static/fn_return_missing_value.snow.err
D pkg/typecheck/testdata/static/fn_return_struct.snow.err
D pkg/typecheck/testdata/static/fn_return_unifying_type.snow.err
D pkg/typecheck/testdata/static/fn_struct_main_method.snow.err
D pkg/typecheck/testdata/static/fn_struct_method_access_top_level.snow.err
D pkg/typecheck/testdata/static/fn_struct_order_independent.snow.err
D pkg/typecheck/testdata/static/fn_struct_same_name_diff_scope.snow.err
D pkg/typecheck/testdata/static/fn_struct_selector.snow.err
D pkg/typecheck/testdata/static/fn_struct_self_shadow.snow.err
D pkg/typecheck/testdata/static/fn_struct_self_uses.snow.err
D pkg/typecheck/testdata/static/fn_tuple_assign_compatible_types.snow.err
D pkg/typecheck/testdata/static/fn_tuple_assign_incompatible_types.snow.err
D pkg/typecheck/testdata/static/fn_tuple_expr_select_field.snow.err
D pkg/typecheck/testdata/static/fn_type_as_value.snow.err
D pkg/typecheck/testdata/static/fn_unknown_symbol.snow.err
D pkg/typecheck/testdata/static/fn_var_as_param_type.snow.err
D pkg/typecheck/testdata/static/fn_without_body.snow.err
D pkg/typecheck/testdata/static/fns.snow.err
D pkg/typecheck/testdata/static/guard_else.snow.err
D pkg/typecheck/testdata/static/if_else_if.snow.err
D pkg/typecheck/testdata/static/if_non_bool.snow.err
D pkg/typecheck/testdata/static/invalid_binary_op.snow.err
D pkg/typecheck/testdata/static/let.snow.err
D pkg/typecheck/testdata/static/let_invalid_tuple_type.snow.err
D pkg/typecheck/testdata/static/let_invalid_unary.snow.err
D pkg/typecheck/testdata/static/let_unary.snow.err
D pkg/typecheck/testdata/static/paren_type.snow.err
D pkg/typecheck/testdata/static/top_level_fn_init_order.snow.err
D pkg/typecheck/testdata/static/top_level_init_order.snow.err
D pkg/typecheck/testdata/static/var.snow.err
D pkg/typecheck/testdata/static/var_auto_ref.snow.err
D pkg/typecheck/testdata/static/var_bool.snow.err
D pkg/typecheck/testdata/static/var_duplicate_symbol.snow.err
D pkg/typecheck/testdata/static/var_tuple_type.snow.err
D pkg/typecheck/testdata/top_level_fn_init_order.snow
D pkg/typecheck/testdata/top_level_init_order.snow
D pkg/typecheck/testdata/types/cycle.snow.err
D pkg/typecheck/testdata/types/cycle.snow.want
D pkg/typecheck/testdata/types/empty.snow.err
D pkg/typecheck/testdata/types/empty.snow.want
D pkg/typecheck/testdata/types/fn.snow.err
D pkg/typecheck/testdata/types/fn.snow.want
D pkg/typecheck/testdata/types/fn_access_invalid_struct_field.snow.err
D pkg/typecheck/testdata/types/fn_access_invalid_struct_field.snow.want
D pkg/typecheck/testdata/types/fn_access_struct_type_field.snow.err
D pkg/typecheck/testdata/types/fn_access_struct_type_field.snow.want
D pkg/typecheck/testdata/types/fn_access_var_outside_struct.snow.err
D pkg/typecheck/testdata/types/fn_access_var_outside_struct.snow.want
D pkg/typecheck/testdata/types/fn_assign_invalid.snow.err
D pkg/typecheck/testdata/types/fn_assign_invalid.snow.want
D pkg/typecheck/testdata/types/fn_assign_let.snow.err
D pkg/typecheck/testdata/types/fn_assign_let.snow.want
D pkg/typecheck/testdata/types/fn_assign_struct_fields.snow.err
D pkg/typecheck/testdata/types/fn_assign_struct_fields.snow.want
D pkg/typecheck/testdata/types/fn_assign_struct_method_to_var.snow.err
D pkg/typecheck/testdata/types/fn_assign_struct_method_to_var.snow.want
D pkg/typecheck/testdata/types/fn_assign_type.snow.err
D pkg/typecheck/testdata/types/fn_assign_type.snow.want
D pkg/typecheck/testdata/types/fn_assign_unifying_type.snow.err
D pkg/typecheck/testdata/types/fn_assign_unifying_type.snow.want
D pkg/typecheck/testdata/types/fn_call_fn_value_with_labels.snow.err
D pkg/typecheck/testdata/types/fn_call_fn_value_with_labels.snow.want
D pkg/typecheck/testdata/types/fn_call_struct_init.snow.err
D pkg/typecheck/testdata/types/fn_call_struct_init.snow.want
D pkg/typecheck/testdata/types/fn_call_struct_init_no_label.snow.err
D pkg/typecheck/testdata/types/fn_call_struct_init_no_label.snow.want
D pkg/typecheck/testdata/types/fn_call_struct_method.snow.err
D pkg/typecheck/testdata/types/fn_call_struct_method.snow.want
D pkg/typecheck/testdata/types/fn_call_unifying_type.snow.err
D pkg/typecheck/testdata/types/fn_call_unifying_type.snow.want
D pkg/typecheck/testdata/types/fn_call_with_invalid_labels.snow.err
D pkg/typecheck/testdata/types/fn_call_with_invalid_labels.snow.want
D pkg/typecheck/testdata/types/fn_call_with_labels.snow.err
D pkg/typecheck/testdata/types/fn_call_with_labels.snow.want
D pkg/typecheck/testdata/types/fn_call_wrong_arity.snow.err
D pkg/typecheck/testdata/types/fn_call_wrong_arity.snow.want
D pkg/typecheck/testdata/types/fn_compare.snow.err
D pkg/typecheck/testdata/types/fn_compare.snow.want
D pkg/typecheck/testdata/types/fn_complex_selectors.snow.err
D pkg/typecheck/testdata/types/fn_complex_selectors.snow.want
D pkg/typecheck/testdata/types/fn_extern_pkg_before_conflict_name.snow.err
D pkg/typecheck/testdata/types/fn_extern_pkg_before_conflict_name.snow.want
D pkg/typecheck/testdata/types/fn_extern_pkg_conflict_name.snow.err
D pkg/typecheck/testdata/types/fn_extern_pkg_conflict_name.snow.want
D pkg/typecheck/testdata/types/fn_extern_ref_method.snow.err
D pkg/typecheck/testdata/types/fn_extern_ref_method.snow.want
D pkg/typecheck/testdata/types/fn_extern_with_body.snow.err
D pkg/typecheck/testdata/types/fn_extern_with_body.snow.want
D pkg/typecheck/testdata/types/fn_fn_arg.snow.err
D pkg/typecheck/testdata/types/fn_fn_arg.snow.want
D pkg/typecheck/testdata/types/fn_guard_fallthrough.snow.err
D pkg/typecheck/testdata/types/fn_guard_fallthrough.snow.want
D pkg/typecheck/testdata/types/fn_ident_as_type.snow.err
D pkg/typecheck/testdata/types/fn_ident_as_type.snow.want
D pkg/typecheck/testdata/types/fn_init_order.snow.err
D pkg/typecheck/testdata/types/fn_init_order.snow.want
D pkg/typecheck/testdata/types/fn_invalid_attr.snow.err
D pkg/typecheck/testdata/types/fn_invalid_attr.snow.want
D pkg/typecheck/testdata/types/fn_invalid_main.snow.err
D pkg/typecheck/testdata/types/fn_invalid_main.snow.want
D pkg/typecheck/testdata/types/fn_invalid_ref.snow.err
D pkg/typecheck/testdata/types/fn_invalid_ref.snow.want
D pkg/typecheck/testdata/types/fn_invalid_ref_call.snow.err
D pkg/typecheck/testdata/types/fn_invalid_ref_call.snow.want
D pkg/typecheck/testdata/types/fn_invalid_ref_call_via_value.snow.err
D pkg/typecheck/testdata/types/fn_invalid_ref_call_via_value.snow.want
D pkg/typecheck/testdata/types/fn_invalid_return.snow.err
D pkg/typecheck/testdata/types/fn_invalid_return.snow.want
D pkg/typecheck/testdata/types/fn_invalid_tuple_access.snow.err
D pkg/typecheck/testdata/types/fn_invalid_tuple_access.snow.want
D pkg/typecheck/testdata/types/fn_main_extern.snow.err
D pkg/typecheck/testdata/types/fn_main_extern.snow.want
D pkg/typecheck/testdata/types/fn_many_extern.snow.err
D pkg/typecheck/testdata/types/fn_many_extern.snow.want
D pkg/typecheck/testdata/types/fn_method_explicit_self.snow.err
D pkg/typecheck/testdata/types/fn_method_explicit_self.snow.want
D pkg/typecheck/testdata/types/fn_nested_block.snow.err
D pkg/typecheck/testdata/types/fn_nested_block.snow.want
D pkg/typecheck/testdata/types/fn_nested_fn.snow.err
D pkg/typecheck/testdata/types/fn_nested_fn.snow.want
D pkg/typecheck/testdata/types/fn_nested_fn_init_order.snow.err
D pkg/typecheck/testdata/types/fn_nested_fn_init_order.snow.want
D pkg/typecheck/testdata/types/fn_nested_struct_method.snow.err
D pkg/typecheck/testdata/types/fn_nested_struct_method.snow.want
D pkg/typecheck/testdata/types/fn_nested_struct_self.snow.err
D pkg/typecheck/testdata/types/fn_nested_struct_self.snow.want
D pkg/typecheck/testdata/types/fn_nested_structs.snow.err
D pkg/typecheck/testdata/types/fn_nested_structs.snow.want
D pkg/typecheck/testdata/types/fn_nested_tuple_type.snow.err
D pkg/typecheck/testdata/types/fn_nested_tuple_type.snow.want
D pkg/typecheck/testdata/types/fn_non_type_selectors.snow.err
D pkg/typecheck/testdata/types/fn_non_type_selectors.snow.want
D pkg/typecheck/testdata/types/fn_param_type_is_var_in_body.snow.err
D pkg/typecheck/testdata/types/fn_param_type_is_var_in_body.snow.want
D pkg/typecheck/testdata/types/fn_params.snow.err
D pkg/typecheck/testdata/types/fn_params.snow.want
D pkg/typecheck/testdata/types/fn_params_locals.snow.err
D pkg/typecheck/testdata/types/fn_params_locals.snow.want
D pkg/typecheck/testdata/types/fn_recursion.snow.err
D pkg/typecheck/testdata/types/fn_recursion.snow.want
D pkg/typecheck/testdata/types/fn_return_internal_struct.snow.err
D pkg/typecheck/testdata/types/fn_return_internal_struct.snow.want
D pkg/typecheck/testdata/types/fn_return_missing_value.snow.err
D pkg/typecheck/testdata/types/fn_return_missing_value.snow.want
D pkg/typecheck/testdata/types/fn_return_struct.snow.err
D pkg/typecheck/testdata/types/fn_return_struct.snow.want
D pkg/typecheck/testdata/types/fn_return_unifying_type.snow.err
D pkg/typecheck/testdata/types/fn_return_unifying_type.snow.want
D pkg/typecheck/testdata/types/fn_struct_main_method.snow.err
D pkg/typecheck/testdata/types/fn_struct_main_method.snow.want
D pkg/typecheck/testdata/types/fn_struct_method_access_top_level.snow.err
D pkg/typecheck/testdata/types/fn_struct_method_access_top_level.snow.want
D pkg/typecheck/testdata/types/fn_struct_order_independent.snow.err
D pkg/typecheck/testdata/types/fn_struct_order_independent.snow.want
D pkg/typecheck/testdata/types/fn_struct_same_name_diff_scope.snow.err
D pkg/typecheck/testdata/types/fn_struct_same_name_diff_scope.snow.want
D pkg/typecheck/testdata/types/fn_struct_selector.snow.err
D pkg/typecheck/testdata/types/fn_struct_selector.snow.want
D pkg/typecheck/testdata/types/fn_struct_self_shadow.snow.err
D pkg/typecheck/testdata/types/fn_struct_self_shadow.snow.want
D pkg/typecheck/testdata/types/fn_struct_self_uses.snow.err
D pkg/typecheck/testdata/types/fn_struct_self_uses.snow.want
D pkg/typecheck/testdata/types/fn_tuple_assign_compatible_types.snow.err
D pkg/typecheck/testdata/types/fn_tuple_assign_compatible_types.snow.want
D pkg/typecheck/testdata/types/fn_tuple_assign_incompatible_types.snow.err
D pkg/typecheck/testdata/types/fn_tuple_assign_incompatible_types.snow.want
D pkg/typecheck/testdata/types/fn_tuple_expr_select_field.snow.err
D pkg/typecheck/testdata/types/fn_tuple_expr_select_field.snow.want
D pkg/typecheck/testdata/types/fn_type_as_value.snow.err
D pkg/typecheck/testdata/types/fn_type_as_value.snow.want
D pkg/typecheck/testdata/types/fn_unknown_symbol.snow.err
D pkg/typecheck/testdata/types/fn_unknown_symbol.snow.want
D pkg/typecheck/testdata/types/fn_var_as_param_type.snow.err
D pkg/typecheck/testdata/types/fn_var_as_param_type.snow.want
D pkg/typecheck/testdata/types/fn_without_body.snow.err
D pkg/typecheck/testdata/types/fn_without_body.snow.want
D pkg/typecheck/testdata/types/fns.snow.err
D pkg/typecheck/testdata/types/fns.snow.want
D pkg/typecheck/testdata/types/guard_else.snow.err
D pkg/typecheck/testdata/types/guard_else.snow.want
D pkg/typecheck/testdata/types/if_else_if.snow.err
D pkg/typecheck/testdata/types/if_else_if.snow.want
D pkg/typecheck/testdata/types/if_non_bool.snow.err
D pkg/typecheck/testdata/types/if_non_bool.snow.want
D pkg/typecheck/testdata/types/invalid_binary_op.snow.err
D pkg/typecheck/testdata/types/invalid_binary_op.snow.want
D pkg/typecheck/testdata/types/let.snow.err
D pkg/typecheck/testdata/types/let.snow.want
D pkg/typecheck/testdata/types/let_invalid_tuple_type.snow.err
D pkg/typecheck/testdata/types/let_invalid_tuple_type.snow.want
D pkg/typecheck/testdata/types/let_invalid_unary.snow.err
D pkg/typecheck/testdata/types/let_invalid_unary.snow.want
D pkg/typecheck/testdata/types/let_unary.snow.err
D pkg/typecheck/testdata/types/let_unary.snow.want
D pkg/typecheck/testdata/types/paren_type.snow.err
D pkg/typecheck/testdata/types/paren_type.snow.want
D pkg/typecheck/testdata/types/top_level_fn_init_order.snow.err
D pkg/typecheck/testdata/types/top_level_fn_init_order.snow.want
D pkg/typecheck/testdata/types/top_level_init_order.snow.err
D pkg/typecheck/testdata/types/top_level_init_order.snow.want
D pkg/typecheck/testdata/types/var.snow.err
D pkg/typecheck/testdata/types/var.snow.want
D pkg/typecheck/testdata/types/var_auto_ref.snow.err
D pkg/typecheck/testdata/types/var_auto_ref.snow.want
D pkg/typecheck/testdata/types/var_bool.snow.err
D pkg/typecheck/testdata/types/var_bool.snow.want
D pkg/typecheck/testdata/types/var_duplicate_symbol.snow.err
D pkg/typecheck/testdata/types/var_duplicate_symbol.snow.want
D pkg/typecheck/testdata/types/var_tuple_type.snow.err
D pkg/typecheck/testdata/types/var_tuple_type.snow.want
D pkg/typecheck/testdata/var.snow
D pkg/typecheck/testdata/var_auto_ref.snow
D pkg/typecheck/testdata/var_bool.snow
D pkg/typecheck/testdata/var_duplicate_symbol.snow
D pkg/typecheck/testdata/var_tuple_type.snow
D pkg/typecheck/type.go
D pkg/typecheck/type_pass.go
D pkg/typecheck/type_pass_test.go
This diff is too large to display. Try viewing the raw diff instead.