carbon-language/carbon-lang
1
0 Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-11-15 22:48:10 +00:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
1e7b7e53ae1429f2f1497defdb363b8a2e7167fc
carbon-lang/toolchain/check/testdata/class
T
History
Dana JansensandRichard Smith 82679e6689 Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107) 
If a `BindSymbolicName` is converted to `type` and then to its exact
`FacetType`, we get a `FacetValue` wrapping the `BindSymbolicName` but
providing no different information: it has the same witnesses and
`FacetType` as the original `BindSymbolicName`. Yet it is a different
constant value, creating multiple canonical forms with the same meaning.
Now we make that `FacetValue` with the same `FacetType` as the
`BindSymbolicName` it wraps evaluate back to the `BindSymbolicName`,
making it the unique canonical form.

This makes the "shortcut" in convert for avoiding impl lookup when
converting from `FacetAccessType` to `FacetType` in this exact scenario
work the same as doing the full impl lookup.

---------

Co-authored-by: Richard Smith <richard@metafoo.co.uk>
2025-09-23 22:11:11 +00:00
..
adapter
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
generic
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
access_modifers.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
base_field.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
base_function_unqualified.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
base_method_qualified.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
base_method_shadow.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
base_method.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
base.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
basic.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
comp_time_field.carbon
Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036)
2025-09-10 17:57:08 +00:00
complete_in_member_fn.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
compound_field.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
cross_package_import.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
derived_to_base.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
destroy_calls.carbon
Change the Destroy blanket impls to be more specific (#6098)
2025-09-18 22:10:50 +00:00
destroy_decl.carbon
Fix destruction of generic types (#5943)
2025-08-12 00:10:43 +00:00
export_name.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
extern_library.carbon
Clean up --no-prelude-import uses (#5722)
2025-06-25 21:03:15 +00:00
extern.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
fail_abstract_in_struct.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
fail_abstract_in_tuple.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
fail_abstract.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
fail_addr_not_self.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_addr_self.carbon
Fix double-destruction of temporaries. (#6010)
2025-09-04 19:19:59 +00:00
fail_base_as_declared_name.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_base_bad_type.carbon
Improve support for qualification conversions. (#5999)
2025-09-03 21:00:12 +00:00
fail_base_method_define.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_base_misplaced.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_base_modifiers.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_base_no_extend.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_base_repeated.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_base_unbound.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_compound_type_mismatch.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_convert_to_invalid.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_derived_to_base.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_error_recovery.carbon
Fix destruction of generic types (#5943)
2025-08-12 00:10:43 +00:00
fail_extend_cycle.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_field_modifiers.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_generic_method.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_import_misuses.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_incomplete.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_init_as_inplace.carbon
Add Copy interface and use it for making copies. (#6034)
2025-09-10 23:55:55 +00:00
fail_init.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_memaccess_category.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_member_of_let.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_method_modifiers.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_method_redefinition.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_method.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_modifiers.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_out_of_line_decl.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_redeclaration_scope.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_redefinition.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_scope.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_self_param.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_self_type_member.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_self.carbon
Add Copy interface and use it for making copies. (#6034)
2025-09-10 23:55:55 +00:00
fail_todo_field_initializer.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_unbound_field.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
fail_unknown_member.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
field_access_in_value.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
field_access.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
forward_declared.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
generic_method.carbon
Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036)
2025-09-10 17:57:08 +00:00
generic_vs_params.carbon
Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036)
2025-09-10 17:57:08 +00:00
generic.carbon
Add min-preludes to more slow tests (part 4) (#5682)
2025-06-17 21:10:04 +00:00
implicit_import.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
import_access.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
import_base.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
import_forward_decl.carbon
Fix destruction of generic types (#5943)
2025-08-12 00:10:43 +00:00
import_indirect.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
import_member_cycle.carbon
Change the Destroy blanket impls to be more specific (#6098)
2025-09-18 22:10:50 +00:00
import_struct_cyle.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
import.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
indirect_import_member.carbon
Remove now-unused StringType instruction. (#5964)
2025-08-20 18:30:11 +00:00
inheritance_access.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
init_as.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
init_nested.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
init.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
local.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
method_access.carbon
Use GetStructType when building object repr structs (#5923)
2025-08-06 23:55:05 +00:00
method.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
name_poisoning.carbon
Introduce the none.carbon min-prelude (#5694)
2025-06-18 20:45:46 +00:00
nested_name.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
nested.carbon
Change the Destroy blanket impls to be more specific (#6098)
2025-09-18 22:10:50 +00:00
no_definition_in_impl_file.carbon
Use GetStructType when building object repr structs (#5923)
2025-08-06 23:55:05 +00:00
partial.carbon
Generate Destroy impls for classes (#5873)
2025-08-04 19:39:22 +00:00
raw_self_type.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
raw_self.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
redeclaration_introducer.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
redeclaration.carbon
Fix destruction of generic types (#5943)
2025-08-12 00:10:43 +00:00
reenter_scope.carbon
Remove special case for returning value expressions by copy (#6052)
2025-09-12 00:13:33 +00:00
reorder_qualified.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
reorder.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
scope.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
self_conversion.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
self_type.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
self.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00
static_method.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
syntactic_merge_literal.carbon
Add builtin functions for destroy, with special requirements in facet types (#6035)
2025-09-15 17:03:43 +00:00
syntactic_merge.carbon
Give the BindSymbolicName for .Self in a binding pattern a FacetType type (#6036)
2025-09-10 17:57:08 +00:00
todo_access_modifiers.carbon
Fix destruction of generic types (#5943)
2025-08-12 00:10:43 +00:00
virtual_modifiers.carbon
Make BindSymbolicName the canonical form of a FacetValue wrapping the BindSymbolicName (#6107)
2025-09-23 22:11:11 +00:00