首页 发现 帮助
登录
tomteb
/
carbon-lang
1
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: 37ac093f32
分支列表 标签列表
carbon-lang
/
toolchain
/
check
/
testdata
/
facet
Dana Jansens bcba76aca7 Require file tests to specify a min-prelude (#5818) 9 月之前
..
access.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
aggregate_through_access.carbon bcba76aca7 Require file tests to specify a min-prelude (#5818) 9 月之前
call_combined_impl_witness.carbon be487bbeda Use declaration locations for formatting entities (#5799) 9 月之前
combine.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
convert_class_type_to_facet_type.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_class_type_to_generic_facet_value.carbon be487bbeda Use declaration locations for formatting entities (#5799) 9 月之前
convert_class_value_to_facet_value_value.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_class_value_to_generic_facet_value_value.carbon be487bbeda Use declaration locations for formatting entities (#5799) 9 月之前
convert_facet_type_to_facet_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
convert_facet_value_as_type_knows_original_type.carbon be487bbeda Use declaration locations for formatting entities (#5799) 9 月之前
convert_facet_value_to_facet_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
convert_facet_value_to_itself.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_facet_value_to_narrowed_facet_type.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_facet_value_value_to_blanket_impl.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_facet_value_value_to_generic_facet_value_value.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_facet_value_value_to_itself.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
convert_interface.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
facet_assoc_const.carbon 2b7c75d8a5 Avoid incorrect conflicting assignment diags in rewrite constraints (#5686) 10 月之前
fail_convert_class_type_to_generic_facet_value.carbon be487bbeda Use declaration locations for formatting entities (#5799) 9 月之前
fail_convert_facet_value_to_missing_impl.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
fail_convert_type_erased_type_to_facet.carbon 8cd1307711 Include the interface name in impl names (#5798) 9 月之前
fail_deduction_uses_runtime_type_conversion.carbon be487bbeda Use declaration locations for formatting entities (#5799) 9 月之前
fail_incomplete.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
fail_namespace_type.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
nested_facet_types.carbon 2b7c75d8a5 Avoid incorrect conflicting assignment diags in rewrite constraints (#5686) 10 月之前
runtime_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
tuple_and_struct_type_literal.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 10 月之前
validate_impl_constraints.carbon 67b67af7a6 Add a test where `impls` requires things of another generic type (#5713) 10 月之前