Özgür bdcac5087d Allow incomplete types in associated constants (#6657) ...

Reference: #1084, [Example of declaring interfaces with cyclic
references](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/generics/details.md#example-of-declaring-interfaces-with-cyclic-references).
Part of #6411: "Associated constants shouldn't have to be complete".

2026-01-28 15:27:14 +00:00

..

access.carbon

Member access into a facet is not a "lookup in type of base" (#6631)

2026-01-20 18:43:16 +00:00

aggregate_through_access.carbon

Change IndexWith to use a standard binary operator setup (#6127)

2025-09-29 18:17:48 +00:00

call_combined_impl_witness.carbon

Member access into a facet is not a "lookup in type of base" (#6631)

2026-01-20 18:43:16 +00:00

combine.carbon

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

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

convert_class_type_to_facet_type.carbon

Format impl witness instructions as part of the impl (#6485)

2025-12-17 15:46:30 +00:00

convert_class_type_to_generic_facet_value.carbon

Form-aware textual format for return parameters and arguments (#6588)

2026-01-14 23:27:21 +00:00

convert_class_value_to_facet_value_value.carbon

Form-aware textual format for return parameters and arguments (#6588)

2026-01-14 23:27:21 +00:00

convert_class_value_to_generic_facet_value_value.carbon

Member access into a facet is not a "lookup in type of base" (#6631)

2026-01-20 18:43:16 +00:00

convert_facet_type_to_facet_value.carbon

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

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

convert_facet_value_as_type_knows_original_type.carbon

Form-aware textual format for return parameters and arguments (#6588)

2026-01-14 23:27:21 +00:00

convert_facet_value_to_facet_value.carbon

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

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

convert_facet_value_to_itself.carbon

Change Destroy to use a CustomWitness instead of a blanket impl (#6512)

2025-12-19 18:36:06 +00:00

convert_facet_value_to_narrowed_facet_type.carbon

Change Destroy to use a CustomWitness instead of a blanket impl (#6512)

2025-12-19 18:36:06 +00:00

convert_facet_value_value_to_blanket_impl.carbon

Change Destroy to use a CustomWitness instead of a blanket impl (#6512)

2025-12-19 18:36:06 +00:00

convert_facet_value_value_to_generic_facet_value_value.carbon

Form-aware textual format for return parameters and arguments (#6588)

2026-01-14 23:27:21 +00:00

convert_facet_value_value_to_itself.carbon

Form-aware textual format for return parameters and arguments (#6588)

2026-01-14 23:27:21 +00:00

convert_interface.carbon

Change Destroy to use a CustomWitness instead of a blanket impl (#6512)

2025-12-19 18:36:06 +00:00

early_rewrites.carbon

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

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

facet_assoc_const.carbon

Allow incomplete types in associated constants (#6657)

2026-01-28 15:27:14 +00:00

fail_convert_class_type_to_generic_facet_value.carbon

Change Destroy to use a CustomWitness instead of a blanket impl (#6512)

2025-12-19 18:36:06 +00:00

fail_convert_facet_value_to_missing_impl.carbon

Change Destroy to use a CustomWitness instead of a blanket impl (#6512)

2025-12-19 18:36:06 +00:00

fail_convert_type_erased_type_to_facet.carbon

Format impl witness instructions as part of the impl (#6485)

2025-12-17 15:46:30 +00:00

fail_deduction_uses_runtime_type_conversion.carbon

Form-aware textual format for return parameters and arguments (#6588)

2026-01-14 23:27:21 +00:00

fail_incomplete.carbon

Type completion of facet types is separate from Identifying (#6385)

2025-11-21 22:28:08 +00:00

fail_namespace_type.carbon

Put min_prelude in a testdata dir (#5635)

2025-06-09 22:18:12 +00:00

named_constant.carbon

Make symbolic local bindings a TODO (#6449)

2025-12-10 18:11:58 +00:00

nested_facet_types.carbon

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

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

period_self.carbon

Member access into a facet is not a "lookup in type of base" (#6631)

2026-01-20 18:43:16 +00:00

require_import.carbon

Extended name lookup replaces inner Self (#6632)

2026-01-21 17:48:18 +00:00

require_invalid.carbon

Propagate errors in extend require up to the containing scope (#6480)

2025-12-09 22:04:17 +00:00

require_satisified.carbon

Avoid cyclic lookup of an impl inside its own definition (#6629)

2026-01-20 19:28:46 +00:00

runtime_value.carbon

Extended name lookup replaces inner Self (#6632)

2026-01-21 17:48:18 +00:00

self_in_interface_param.carbon

Member access into a facet is not a "lookup in type of base" (#6631)

2026-01-20 18:43:16 +00:00

tuple_and_struct_type_literal.carbon

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

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

tuple_and_struct_type_value.carbon

Make symbolic local bindings a TODO (#6449)

2025-12-10 18:11:58 +00:00

validate_impl_constraints.carbon

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

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

validate_rewrite_constraints.carbon

Allow incomplete types in associated constants (#6657)

2026-01-28 15:27:14 +00:00