Dana Jansens 6a60b80508 Remove the FacetTypeId in RequireImpls (#6437) ...

The FacetTypeId should never be used directly, since the RequireImpls is
a generic and the facet type may be parameterized by generic bindings.
So instead, it should be accessed through GetConstantValueInSpecific,
which works with the facet type InstId that is also already present on
RequireImpls. This change to use GetConstantValueInSpecific was done in
#6435, so the FacetTypeId is now unused except in formatting. So we can
remove it.

This depends on #6435.

2025-12-01 20:34:43 +00:00

..

lookup

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

assoc_const_self.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

basic.carbon

Switch handling of errors in impls to not build a type structure (#5881)

2025-07-30 20:24:38 +00:00

compound.carbon

Replace pending generic logic with work stack-based logic (#6404)

2025-11-20 01:02:18 +00:00

declaration.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

empty.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

error_recovery.carbon

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

extend_final.carbon

Change the Destroy blanket impls to be more specific (#6098)

2025-09-18 22:10:50 +00:00

extend_impl_generic.carbon

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

extend_impl.carbon

Use GetStructType when building object repr structs (#5923)

2025-08-06 23:55:05 +00:00

fail_alias.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_call_invalid.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_extend_impl_forall.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_extend_impl_scope.carbon

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

fail_extend_impl_type_as.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_extend_non_interface.carbon

Switch class to use a blanket impl for Destroy (#6125)

2025-09-29 16:05:06 +00:00

fail_extend_partially_defined_interface.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_extend_undefined_interface.carbon

Separate binding insts for refs and values (#6235)

2025-10-23 01:46:24 +00:00

fail_impl_as_scope.carbon

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

fail_impl_bad_assoc_const.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

fail_impl_bad_assoc_fn.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

fail_impl_bad_interface.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_impl_bad_type.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_redefinition.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

fail_self_type_mismatch.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

forward_decls.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

generic_redeclaration.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

impl_as_named_constraint.carbon

Avoid a crash when the type of Self in an interface or constraint is an error (#6443)

2025-12-01 19:09:14 +00:00

impl_as.carbon

Switch the prelude to use ref instead of addr (#6359)

2025-11-14 00:40:26 +00:00

impl_assoc_const_with_prelude.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

impl_assoc_const.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

impl_forall.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

impl_self_as.carbon

Introduce the none.carbon min-prelude (#5694)

2025-06-18 20:45:46 +00:00

impl_thunk_min_prelude.carbon

Finish renaming BindName and related insts. (#6281)

2025-10-28 17:17:38 +00:00

impl_thunk.carbon

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

impl_where_redecl.carbon

Introduce the none.carbon min-prelude (#5694)

2025-06-18 20:45:46 +00:00

import_builtin_call.carbon

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

import_compound.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

import_extend_impl.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

import_generic.carbon

Remove the FacetTypeId in RequireImpls (#6437)

2025-12-01 20:34:43 +00:00

import_impl_with_no_interface.carbon

Introduce the none.carbon min-prelude (#5694)

2025-06-18 20:45:46 +00:00

import_interface_assoc_const.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

import_self_specific.carbon

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

import_self.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

import_thunk.carbon

Ensure a symbolic final impl has a definition produced (#6236)

2025-11-25 18:59:25 +00:00

import_use_generic.carbon

Rewrite pending specifics to use the work stack (#6415)

2025-11-24 21:52:29 +00:00

incomplete.carbon

Remove the FacetTypeId in RequireImpls (#6437)

2025-12-01 20:34:43 +00:00

interface_args.carbon

Rewrite pending specifics to use the work stack (#6415)

2025-11-24 21:52:29 +00:00

multiple_extend.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

name_poisoning.carbon

Introduce the none.carbon min-prelude (#5694)

2025-06-18 20:45:46 +00:00

no_definition_in_impl_file.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

redeclaration.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

self_in_class.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

self_in_signature.carbon

Allow deduction of tuple and struct literals as symbolic generic facet types (#6365)

2025-11-13 20:17:44 +00:00

todo_impl_with_unrelated_fn.carbon

Add require decls to Interface and NamedConstraint (#6321)

2025-11-11 16:36:15 +00:00

use_assoc_entity.carbon

Type completeness in extend (#6395)

2025-11-25 22:45:34 +00:00

using_invalid_interface.carbon

Handle some more errors in interfaces without crashing. (#6155)

2025-10-03 14:31:45 +00:00