tomteb/carbon-lang: == Clone of https://github.com/carbon-language/carbon-lang.git == @ 9d84391f11fbcc6211cb3fcbac8dbfb95bb4fd0e

Richard Smith b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055)		7 месяцев назад
..
access.carbon	b44ba47cf3 Don't treat dependent types as having a copy value representation. (#6055)	7 месяцев назад
aggregate_through_access.carbon	bcba76aca7 Require file tests to specify a min-prelude (#5818)	9 месяцев назад
call_combined_impl_witness.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
combine.carbon	78d4cce9f8 Put min_prelude in a testdata dir (#5635)	11 месяцев назад
convert_class_type_to_facet_type.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_class_type_to_generic_facet_value.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_class_value_to_facet_value_value.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_class_value_to_generic_facet_value_value.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
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	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_facet_value_to_facet_value.carbon	78d4cce9f8 Put min_prelude in a testdata dir (#5635)	11 месяцев назад
convert_facet_value_to_itself.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_facet_value_to_narrowed_facet_type.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_facet_value_value_to_blanket_impl.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_facet_value_value_to_generic_facet_value_value.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_facet_value_value_to_itself.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
convert_interface.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
early_rewrites.carbon	3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883)	9 месяцев назад
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 месяцев назад
fail_convert_class_type_to_generic_facet_value.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
fail_convert_facet_value_to_missing_impl.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
fail_convert_type_erased_type_to_facet.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
fail_deduction_uses_runtime_type_conversion.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
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 месяцев назад
named_constant.carbon	c707a6deaa Verify rewrite constraints in impl lookup (#5617)	9 месяцев назад
nested_facet_types.carbon	3d77c4441b Compare ImplWitnessAccess into Self as canonical constants (#5883)	9 месяцев назад
runtime_value.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
self_in_interface_param.carbon	5e3bb523f8 Add builtin functions for destroy, with special requirements in facet types (#6035)	7 месяцев назад
tuple_and_struct_type_literal.carbon	78d4cce9f8 Put min_prelude in a testdata dir (#5635)	11 месяцев назад
validate_impl_constraints.carbon	ed43fd2c1c Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036)	7 месяцев назад
validate_rewrite_constraints.carbon	c707a6deaa Verify rewrite constraints in impl lookup (#5617)	9 месяцев назад