Trang chủ Khám phá Trợ giúp
Đăng nhập
tomteb
/
carbon-lang
1
0
Fork 0
Các tập tin Các vấn đề 0 Yêu cầu kéo về 0 Wiki
Tree: 9d84391f11
Branches Tags
carbon-lang
/
toolchain
/
check
/
testdata
/
facet
Richard Smith b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 tháng trước cách đây
..
access.carbon b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055) 7 tháng trước cách đây
aggregate_through_access.carbon bcba76aca7 Require file tests to specify a min-prelude (#5818) 9 tháng trước cách đây
call_combined_impl_witness.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
combine.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 tháng trước cách đây
convert_class_type_to_facet_type.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_class_type_to_generic_facet_value.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_class_value_to_facet_value_value.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_class_value_to_generic_facet_value_value.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_facet_type_to_facet_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 tháng trước cách đây
convert_facet_value_as_type_knows_original_type.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_facet_value_to_facet_value.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 tháng trước cách đây
convert_facet_value_to_itself.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_facet_value_to_narrowed_facet_type.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_facet_value_value_to_blanket_impl.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_facet_value_value_to_generic_facet_value_value.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_facet_value_value_to_itself.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
convert_interface.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
early_rewrites.carbon 3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883) 9 tháng trước cách đây
facet_assoc_const.carbon 95b5cce9b4 Add tests that show `.X` and `.Self.X` are treated the same on the RHS of a rewrite constraint (#6056) 7 tháng trước cách đây
fail_convert_class_type_to_generic_facet_value.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
fail_convert_facet_value_to_missing_impl.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
fail_convert_type_erased_type_to_facet.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
fail_deduction_uses_runtime_type_conversion.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
fail_incomplete.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 tháng trước cách đây
fail_namespace_type.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 tháng trước cách đây
named_constant.carbon c707a6deaa Verify rewrite constraints in impl lookup (#5617) 9 tháng trước cách đây
nested_facet_types.carbon 3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883) 9 tháng trước cách đây
runtime_value.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
self_in_interface_param.carbon 5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035) 7 tháng trước cách đây
tuple_and_struct_type_literal.carbon 78d4cce9f8 Put min_prelude in a testdata dir (#5635) 11 tháng trước cách đây
validate_impl_constraints.carbon ed43fd2c1c Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036) 7 tháng trước cách đây
validate_rewrite_constraints.carbon c707a6deaa Verify rewrite constraints in impl lookup (#5617) 9 tháng trước cách đây