首页 发现 帮助
登录
tomteb
/
carbon-lang
1
0
派生 0
文件 工单管理 0 合并请求 0 Wiki
目录树: 26e23eac10
分支列表 标签列表
carbon-lang
/
toolchain
/
check
/
testdata
/
facet
Dana Jansens 6c6552ce57 Consistently return runtime phase if the operands contain a runtime (#5729) 10 月之前
..
access.carbon 344f0b7550 Support for heterogeneous operators. (#5653) 10 月之前
aggregate_through_access.carbon b91ad3be36 Add tests for accessing an aggregate member constant through an ImplWitnessAccess (#5702) 10 月之前
call_combined_impl_witness.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
combine.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
convert_class_type_to_facet_type.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
convert_class_type_to_generic_facet_value.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
convert_class_value_to_facet_value_value.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
convert_class_value_to_generic_facet_value_value.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
convert_facet_type_to_facet_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
convert_facet_value_as_type_knows_original_type.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
convert_facet_value_to_facet_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
convert_facet_value_to_itself.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
convert_facet_value_to_narrowed_facet_type.carbon 344f0b7550 Support for heterogeneous operators. (#5653) 10 月之前
convert_facet_value_value_to_blanket_impl.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
convert_facet_value_value_to_generic_facet_value_value.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
convert_facet_value_value_to_itself.carbon 4aa62bf5cd Switch Destroy to addr self (#5748) 10 月之前
convert_interface.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
facet_assoc_const.carbon 2b7c75d8a5 Avoid incorrect conflicting assignment diags in rewrite constraints (#5686) 10 月之前
fail_convert_class_type_to_generic_facet_value.carbon ad4914b575 Avoid deducing errors as argument instructions after subst (#5710) 10 月之前
fail_convert_facet_value_to_missing_impl.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
fail_convert_type_erased_type_to_facet.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
fail_deduction_uses_runtime_type_conversion.carbon 6c6552ce57 Consistently return runtime phase if the operands contain a runtime (#5729) 10 月之前
fail_incomplete.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
fail_namespace_type.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
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) 11 月之前
tuple_and_struct_type_literal.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 月之前
validate_impl_constraints.carbon 67b67af7a6 Add a test where `impls` requires things of another generic type (#5713) 10 月之前