From 76c68153a2cf5b35249be3e9b8097238f3dc1ee1 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Thu, 10 Apr 2025 09:48:49 -0400 Subject: [PATCH] Look for final impl when accessing associated constant in facet (#5269) While facets may come with a rewrite for an associated constant, they are symbolic. A final impl has the ability to provide a concrete value instead, which allows generic code to use the concrete value in place of the associated constant's (fully qualified) name. For instance, instead of `I.Type`, the concrete type `()` can be used if there is an `impl final [T:! type] T as I where .Type = ()` impl. This does not yet cache the result of the lookups. Depends on https://github.com/carbon-language/carbon-lang/pull/5255 --------- Co-authored-by: Richard Smith --- toolchain/check/BUILD | 18 +- toolchain/check/handle_impl.cpp | 6 +- toolchain/check/impl.cpp | 6 + toolchain/check/impl.h | 4 + toolchain/check/impl_lookup.cpp | 80 +- toolchain/check/impl_lookup.h | 12 + toolchain/check/member_access.cpp | 104 +- .../lookup/min_prelude/find_in_final.carbon | 183 +- .../lookup/min_prelude/specialization.carbon | 35 +- ...pecialization_with_symbolic_rewrite.carbon | 1905 +++++++++++++++++ toolchain/sem_ir/impl.h | 3 + 11 files changed, 2247 insertions(+), 109 deletions(-) create mode 100644 toolchain/check/testdata/impl/lookup/min_prelude/specialization_with_symbolic_rewrite.carbon diff --git a/toolchain/check/BUILD b/toolchain/check/BUILD index ff19f2b76d83..c330181c0051 100644 --- a/toolchain/check/BUILD +++ b/toolchain/check/BUILD @@ -29,6 +29,7 @@ cc_library( "function.cpp", "generic.cpp", "global_init.cpp", + "impl.cpp", "impl_lookup.cpp", "import.cpp", "import_cpp.cpp", @@ -68,6 +69,7 @@ cc_library( "function.h", "generic.h", "global_init.h", + "impl.h", "impl_lookup.h", "import.h", "import_cpp.h", @@ -166,7 +168,6 @@ cc_library( ":context", ":diagnostic_emitter", ":dump", - ":impl", ":pointer_dereference", "//common:check", "//common:error", @@ -223,21 +224,6 @@ cc_library( ], ) -cc_library( - name = "impl", - srcs = ["impl.cpp"], - hdrs = ["impl.h"], - deps = [ - ":context", - "//common:check", - "//toolchain/base:kind_switch", - "//toolchain/diagnostics:diagnostic_emitter", - "//toolchain/sem_ir:file", - "//toolchain/sem_ir:inst", - "//toolchain/sem_ir:typed_insts", - ], -) - cc_library( name = "node_stack", srcs = ["node_stack.cpp"], diff --git a/toolchain/check/handle_impl.cpp b/toolchain/check/handle_impl.cpp index 9cc38e94f227..09a42b584ab2 100644 --- a/toolchain/check/handle_impl.cpp +++ b/toolchain/check/handle_impl.cpp @@ -364,11 +364,12 @@ static auto BuildImplDecl(Context& context, Parse::AnyImplDeclId node_id, // Process modifiers. // TODO: Should we somehow permit access specifiers on `impl`s? - // TODO: Handle `final` modifier. auto introducer = context.decl_introducer_state_stack().Pop(); LimitModifiersOnDecl(context, introducer, KeywordModifierSet::ImplDecl); + bool is_final = introducer.modifier_set.HasAnyOf(KeywordModifierSet::Final); + // Finish processing the name, which should be empty, but might have // parameters. auto name_context = context.decl_name_stack().FinishImplName(); @@ -387,7 +388,8 @@ static auto BuildImplDecl(Context& context, Parse::AnyImplDeclId node_id, {.self_id = self_inst_id, .constraint_id = constraint_inst_id, .interface = CheckConstraintIsInterface( - context, impl_decl_id, constraint_inst_id)}}; + context, impl_decl_id, constraint_inst_id), + .is_final = is_final}}; // Add the impl declaration. bool invalid_redeclaration = false; auto lookup_bucket_ref = context.impls().GetOrAddLookupBucket(impl_info); diff --git a/toolchain/check/impl.cpp b/toolchain/check/impl.cpp index 7482f7ad2be0..13da64127128 100644 --- a/toolchain/check/impl.cpp +++ b/toolchain/check/impl.cpp @@ -249,4 +249,10 @@ auto FillImplWitnessWithErrors(Context& context, SemIR::Impl& impl) -> void { } } +auto IsImplEffectivelyFinal(Context& context, const SemIR::Impl& impl) -> bool { + return impl.is_final || + (context.constant_values().Get(impl.self_id).is_concrete() && + context.constant_values().Get(impl.constraint_id).is_concrete()); +} + } // namespace Carbon::Check diff --git a/toolchain/check/impl.h b/toolchain/check/impl.h index 3a2e9f99cb9b..dafe5656bea7 100644 --- a/toolchain/check/impl.h +++ b/toolchain/check/impl.h @@ -26,6 +26,10 @@ auto FinishImplWitness(Context& context, SemIR::Impl& impl) -> void; // Sets all unset members of the witness for `impl` to the error instruction. auto FillImplWitnessWithErrors(Context& context, SemIR::Impl& impl) -> void; +// Returns whether the impl is either `final` explicitly, or implicitly due to +// being concrete. +auto IsImplEffectivelyFinal(Context& context, const SemIR::Impl& impl) -> bool; + } // namespace Carbon::Check #endif // CARBON_TOOLCHAIN_CHECK_IMPL_H_ diff --git a/toolchain/check/impl_lookup.cpp b/toolchain/check/impl_lookup.cpp index 349f9c5f3d46..94eec309c01e 100644 --- a/toolchain/check/impl_lookup.cpp +++ b/toolchain/check/impl_lookup.cpp @@ -12,6 +12,7 @@ #include "toolchain/check/diagnostic_helpers.h" #include "toolchain/check/eval.h" #include "toolchain/check/generic.h" +#include "toolchain/check/impl.h" #include "toolchain/check/import_ref.h" #include "toolchain/check/inst.h" #include "toolchain/check/type.h" @@ -220,6 +221,7 @@ static auto GetWitnessIdForImpl(Context& context, SemIR::LocId loc_id, // DeduceImplArguments can import new impls which can invalidate any // pointers into `context.impls()`. const SemIR::Impl& impl = context.impls().Get(impl_id); + if (impl.generic_id.has_value()) { specific_id = DeduceImplArguments(context, loc_id, @@ -290,11 +292,12 @@ static auto GetWitnessIdForImpl(Context& context, SemIR::LocId loc_id, ResolveSpecificDefinition(context, loc_id, specific_id); } - bool impl_is_effectively_final = - // TODO: impl.is_final || - (context.constant_values().Get(impl.self_id).is_concrete() && - context.constant_values().Get(impl.constraint_id).is_concrete()); - if (query_is_concrete || impl_is_effectively_final) { + if (query_is_concrete || IsImplEffectivelyFinal(context, impl)) { + // TODO: These final results should be cached somehow. Positive (non-None) + // results could be cached globally, as they can not change. But + // negative results can change after a final impl is written, so + // they can only be cached in a limited way, or the cache needs to + // be invalidated by writing a final impl that would match. return EvalImplLookupResult::MakeFinal( context.constant_values().GetInstId(SemIR::GetConstantValueInSpecific( context.sem_ir(), specific_id, impl.witness_id))); @@ -340,9 +343,9 @@ static auto FindWitnessInFacet( // if not, it will evaluate to itself as a symbolic witness to be further // evaluated with a more specific query when building a specific for the generic // context the query came from. -static auto FindWitnessInImpls(Context& context, SemIR::LocId loc_id, - SemIR::ConstantId query_self_const_id, - SemIR::SpecificInterface interface) +static auto GetOrAddLookupImplWitness(Context& context, SemIR::LocId loc_id, + SemIR::ConstantId query_self_const_id, + SemIR::SpecificInterface interface) -> SemIR::InstId { auto witness_const_id = EvalOrAddInst( context, loc_id.ToImplicit(), @@ -434,9 +437,12 @@ auto LookupImplWitness(Context& context, SemIR::LocId loc_id, // do an O(N+M) merge instead of O(N*M) nested loops. auto result_witness_id = FindWitnessInFacet(context, loc_id, query_self_const_id, interface); + // TODO: If the impl lookup finds a final impl, it should take precedence + // over the witness from the facet value. See the test: + // fail_todo_final_impl_precidence_over_facet_value.carbon. if (!result_witness_id.has_value()) { - result_witness_id = - FindWitnessInImpls(context, loc_id, query_self_const_id, interface); + result_witness_id = GetOrAddLookupImplWitness( + context, loc_id, query_self_const_id, interface); } if (result_witness_id.has_value()) { result_witness_ids.push_back(result_witness_id); @@ -491,11 +497,16 @@ struct CandidateImpl { // Returns the list of candidates impls for lookup to select from. static auto CollectCandidateImplsForQuery( - Context& context, const TypeStructure& query_type_structure, + Context& context, bool final_only, + const TypeStructure& query_type_structure, SemIR::SpecificInterface& query_specific_interface) -> llvm::SmallVector { llvm::SmallVector candidate_impls; for (auto [id, impl] : context.impls().enumerate()) { + if (final_only && !IsImplEffectivelyFinal(context, impl)) { + continue; + } + // If the impl's interface_id differs from the query, then this impl can // not possibly provide the queried interface. if (impl.interface.interface_id != query_specific_interface.interface_id) { @@ -593,7 +604,8 @@ auto EvalLookupSingleImplWitness(Context& context, SemIR::LocId loc_id, QueryIsConcrete(context, query_self_const_id, query_specific_interface); auto candidate_impls = CollectCandidateImplsForQuery( - context, query_type_structure, query_specific_interface); + context, /*final_only=*/false, query_type_structure, + query_specific_interface); for (const auto& candidate : candidate_impls) { // In deferred lookup for a symbolic impl witness, while building a @@ -619,4 +631,48 @@ auto EvalLookupSingleImplWitness(Context& context, SemIR::LocId loc_id, return EvalImplLookupResult::MakeNone(); } +auto LookupFinalImplWitnessForSpecificInterface( + Context& context, SemIR::LocId loc_id, + SemIR::ConstantId query_self_const_id, + SemIR::SpecificInterface query_specific_interface) -> SemIR::InstId { + // This would mean we need to UnwrapFacetAccessType(query_self_const_id), but + // it's already done by member access, which is the one use of this function. + CARBON_DCHECK(!context.insts().Is( + context.constant_values().GetInstId(query_self_const_id))); + + auto query_type_structure = BuildTypeStructure( + context, context.constant_values().GetInstId(query_self_const_id), + query_specific_interface); + bool query_is_concrete = + QueryIsConcrete(context, query_self_const_id, query_specific_interface); + + auto candidate_impls = CollectCandidateImplsForQuery( + context, /*final_only=*/true, query_type_structure, + query_specific_interface); + + for (const auto& candidate : candidate_impls) { + // In deferred lookup for a symbolic impl witness, while building a + // specific, there may be no stack yet as this may be the first lookup. If + // further lookups are started as a result in deduce, they will build the + // stack. + // + // NOTE: Don't retain a reference into the stack, it may be invalidated if + // we do further impl lookups when GetWitnessIdForImpl() does deduction. + if (!context.impl_lookup_stack().empty()) { + context.impl_lookup_stack().back().impl_loc = candidate.loc_inst_id; + } + + // NOTE: GetWitnessIdForImpl() does deduction, which can cause new impls + // to be imported, invalidating any pointer into `context.impls()`. + auto result = GetWitnessIdForImpl( + context, loc_id, query_is_concrete, query_self_const_id, + query_specific_interface, candidate.impl_id); + if (result.has_value()) { + CARBON_CHECK(result.has_concrete_value()); + return result.concrete_witness(); + } + } + return SemIR::InstId::None; +} + } // namespace Carbon::Check diff --git a/toolchain/check/impl_lookup.h b/toolchain/check/impl_lookup.h index 83c7b2f26e02..b9237b7e4324 100644 --- a/toolchain/check/impl_lookup.h +++ b/toolchain/check/impl_lookup.h @@ -97,6 +97,18 @@ auto EvalLookupSingleImplWitness(Context& context, SemIR::LocId loc_id, SemIR::LookupImplWitness eval_query) -> EvalImplLookupResult; +// Looks for a witness of a _final_ impl declaration. Since only final impls are +// returned, it always returns a concrete ImplWitness or None, it will never +// return a symbolic LookupImplWitness instruction. +// +// Generally prefer to call LookupImplWitness(). This method is used to look for +// a final specialization in order to get concrete associated constants in +// generic contexts. +auto LookupFinalImplWitnessForSpecificInterface( + Context& context, SemIR::LocId loc_id, + SemIR::ConstantId query_self_const_id, + SemIR::SpecificInterface query_specific_interface) -> SemIR::InstId; + } // namespace Carbon::Check #endif // CARBON_TOOLCHAIN_CHECK_IMPL_LOOKUP_H_ diff --git a/toolchain/check/member_access.cpp b/toolchain/check/member_access.cpp index 38a7ce3aba62..1f395ed217a2 100644 --- a/toolchain/check/member_access.cpp +++ b/toolchain/check/member_access.cpp @@ -176,6 +176,27 @@ static auto AccessMemberOfImplWitness(Context& context, SemIR::LocId loc_id, .index = assoc_entity->index}); } +// For an impl lookup query with a single interface in it, we can convert the +// result to a single witness InstId. +// +// This CHECKs that the result (and thus the query) was a single interface. This +// generally only makes sense in member access, where the lookup query's +// interface is found through name lookup, and we don't have an arbitrary +// `FacetType`. +static auto GetWitnessFromSingleImplLookupResult( + Context& context, SemIR::InstBlockIdOrError lookup_result) + -> SemIR::InstId { + auto witness_id = SemIR::InstId::None; + if (lookup_result.has_error_value()) { + witness_id = SemIR::ErrorInst::SingletonInstId; + } else { + auto witnesses = context.inst_blocks().Get(lookup_result.inst_block_id()); + CARBON_CHECK(witnesses.size() == 1); + witness_id = witnesses[0]; + } + return witness_id; +} + // Performs impl lookup for a member name expression. This finds the relevant // impl witness and extracts the corresponding impl member. static auto PerformImplLookup( @@ -210,18 +231,8 @@ static auto PerformImplLookup( return SemIR::ErrorInst::SingletonInstId; } - // The query facet type given to `LookupImplWitness()` had only a single - // interface in it, so the returned witness set will have the same. Convert - // from the InstBlockId to the single ImplWitness instruction. - auto witness_id = SemIR::InstId::None; - if (lookup_result.has_error_value()) { - witness_id = SemIR::ErrorInst::SingletonInstId; - } else { - auto witnesses = context.inst_blocks().Get(lookup_result.inst_block_id()); - CARBON_CHECK(witnesses.size() == 1); - witness_id = witnesses[0]; - } - + auto witness_id = + GetWitnessFromSingleImplLookupResult(context, lookup_result); return AccessMemberOfImplWitness(context, loc_id, self_type_id, witness_id, assoc_type.interface_specific_id, member_id); } @@ -303,26 +314,59 @@ static auto LookupMemberNameInScope(Context& context, SemIR::LocId loc_id, auto assoc_interface = assoc_type->GetSpecificInterface(); - // First look for `assoc_interface` in the type of the base. If it is - // found, get the witness that the interface is implemented from - // `base_id`. - auto identified_id = RequireIdentifiedFacetType(context, *facet_type); - const auto& identified = - context.identified_facet_types().Get(identified_id); // Witness that `T` implements the `assoc_interface`. SemIR::InstId witness_inst_id = SemIR::InstId::None; - for (auto [index, base_interface] : - llvm::enumerate(identified.required_interfaces())) { - // Get the witness that `T` implements `base_type_id`. - if (base_interface == assoc_interface) { - witness_inst_id = GetOrAddInst( - context, loc_id, - SemIR::FacetAccessWitness{ - .type_id = GetSingletonType( - context, SemIR::WitnessType::SingletonInstId), - .facet_value_inst_id = base_id, - .index = SemIR::ElementIndex(index)}); - break; + + bool is_lookup_in_period_self = false; + if (auto name = context.insts().TryGetAs(base_id)) { + if (name->name_id == SemIR::NameId::PeriodSelf) { + is_lookup_in_period_self = true; + } + } + + // TODO: In `.Self` we want to find the witness through its FacetType, + // which is the code below this block. Instead of special-casing that + // here, we could have the impl lookup also include witnesses + // (FacetAccessWitness) from the FacetType? And even non-final results. + // Then we just call into lookup once here, for `.Self` or otherwise, + // and can drop the construction of FacetAccessWitness from this + // function, and resolve TODO below that for "associated entity not + // found in facet type". + if (!is_lookup_in_period_self) { + // For an associated constant value, we need to do impl lookup to try + // find a final impl declaration. If we find one, we can use the value + // assigned to the constant there, instead of its symbolic value. + auto assoc_entity = context.insts().GetAs( + context.constant_values().GetConstantInstId( + result.scope_result.target_inst_id())); + if (context.insts().Is( + assoc_entity.decl_id)) { + witness_inst_id = LookupFinalImplWitnessForSpecificInterface( + context, loc_id, context.constant_values().Get(base_id), + assoc_interface); + } + } + + if (!witness_inst_id.has_value()) { + // First look for `assoc_interface` in the type of the base. If it is + // found, get the witness that the interface is implemented from + // `base_id`. + auto identified_id = RequireIdentifiedFacetType(context, *facet_type); + const auto& identified = + context.identified_facet_types().Get(identified_id); + for (auto [index, base_interface] : + llvm::enumerate(identified.required_interfaces())) { + // Get the witness that `T` implements `base_type_id`. + if (base_interface == assoc_interface) { + witness_inst_id = GetOrAddInst( + context, loc_id, + SemIR::FacetAccessWitness{ + .type_id = GetSingletonType( + context, SemIR::WitnessType::SingletonInstId), + .facet_value_inst_id = base_id, + .index = SemIR::ElementIndex(index)}); + break; + } } } // TODO: If that fails, would need to do impl lookup to see if the facet diff --git a/toolchain/check/testdata/impl/lookup/min_prelude/find_in_final.carbon b/toolchain/check/testdata/impl/lookup/min_prelude/find_in_final.carbon index e8ff8388d009..3433c76bb0f4 100644 --- a/toolchain/check/testdata/impl/lookup/min_prelude/find_in_final.carbon +++ b/toolchain/check/testdata/impl/lookup/min_prelude/find_in_final.carbon @@ -2,7 +2,7 @@ // Exceptions. See /LICENSE for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // -// INCLUDE-FILE: toolchain/testing/min_prelude/convert.carbon +// INCLUDE-FILE: toolchain/testing/min_prelude/facet_types.carbon // EXTRA-ARGS: --no-dump-sem-ir --custom-core // // AUTOUPDATE @@ -11,7 +11,7 @@ // TIP: To dump output, run: // TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/impl/lookup/min_prelude/find_in_final.carbon -// --- fail_todo_keep_looking_for_final_impl.carbon +// --- final_impl_precedence_over_facet.carbon library "[[@TEST_NAME]]"; interface I { let T:! type; @@ -20,18 +20,171 @@ interface I { final impl forall [U:! type] U as I where .T = () {} fn F(V:! I) -> V.T { - // TODO: Even though we have a witness that `V impls I` from the constraint - // on `I`, we should do an impl lookup to see if any effectively final impl - // applies when we find an unknown value in that witness. In this case, that - // lookup would find an impl with more specific values for associated - // constants that we should merge. - - // CHECK:STDERR: fail_todo_keep_looking_for_final_impl.carbon:[[@LINE+7]]:3: error: cannot implicitly convert expression of type `()` to `V.(I.T)` [ConversionFailure] - // CHECK:STDERR: return (); - // CHECK:STDERR: ^~~~~~~~~~ - // CHECK:STDERR: fail_todo_keep_looking_for_final_impl.carbon:[[@LINE+4]]:3: note: type `()` does not implement interface `Core.ImplicitAs(V.(I.T))` [MissingImplInMemberAccessNote] - // CHECK:STDERR: return (); - // CHECK:STDERR: ^~~~~~~~~~ - // CHECK:STDERR: + // Even though we have a witness that `V impls I` from the constraint on `I`, + // we should do an impl lookup to see if any effectively final impl applies + // when we find an unknown value in that witness. In this case, that lookup + // would find an impl with more specific values for associated constants that + // we should merge. return (); } + +// --- final_impl_precedence_over_facet_with_where.carbon +library "[[@TEST_NAME]]"; + +interface Z { + let X:! type; + let Y:! type; +} + +final impl forall [T:! type] T as Z where .X = () and .Y = () {} + +fn F(ZZ:! Z where .X = ()) { + // Z.Y is unspecified on `ZZ` so it's found on the final impl where it's known + // to be the concrete type (), which can then be used in this generic + // function. + let a: ZZ.Y = (); +} + +// --- final_impl_precedence_over_facet_access_type_with_where.carbon +library "[[@TEST_NAME]]"; + +interface Z { + let X:! type; + let Y:! type; +} + +final impl forall [T:! type] T as Z where .X = () and .Y = () {} + +fn F[T:! Z where .X = ()](z: T) { + // z.Y is unspecified on `ZZ` so it's found on the final impl where it's known + // to be the concrete type (), which can then be used in this generic + // function. + let a: z.Y = (); +} + +// --- fail_todo_final_impl_makes_compatible_facet_values.carbon +library "[[@TEST_NAME]]"; + +interface I {} +interface J {} + +final impl forall [T:! J] T as I {} + +class C(T:! I) {} + +class D(T:! J) { + // Finds the final impl decl; The facet value of `T` in `C(T)` holds an + // `ImplWitness`. + var c: C(T)*; +} + +fn F(T:! I & J) { + // `I` found in the facet type; The facet value of `T` in `C(T)` holds a `FacetAccessWitness`. + // TODO: It should use the `final impl` and thus hold the same `ImplWitness` + var x: C(T); + // `D.c` used the final impl decl to make a facet value with an `ImplWitness` + // for its `T` in `C(T)`. + var y: D(T); + // This converts a pointer to a facet value (should be `ImplWitness` but + // isn't) to a pointer to a facet value (with `ImplWitness`). + // + // TODO: It should type check when they are both the same generic type + // `C(T:! I)` defined by the `final impl` of `I`. + // + // CHECK:STDERR: fail_todo_final_impl_makes_compatible_facet_values.carbon:[[@LINE+7]]:3: error: cannot implicitly convert expression of type `C(T as I)*` to `C(T as I)*` [ConversionFailure] + // CHECK:STDERR: y.c = &x; + // CHECK:STDERR: ^~~~~~~~ + // CHECK:STDERR: fail_todo_final_impl_makes_compatible_facet_values.carbon:[[@LINE+4]]:3: note: type `C(T as I)*` does not implement interface `Core.ImplicitAs(C(T as I)*)` [MissingImplInMemberAccessNote] + // CHECK:STDERR: y.c = &x; + // CHECK:STDERR: ^~~~~~~~ + // CHECK:STDERR: + y.c = &x; +} + +// --- fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon +library "[[@TEST_NAME]]"; + +interface I { let X:! type; } +interface J {} + +impl forall [T:! J] T as I where .X = () {} + +class C(T:! I) { + var b: T.X; +} + +class D(T:! J) { + // Finds the impl decl; The facet value of `T` in `C(T)` holds a + // `LookupImplWitness`. + var c: C(T)*; +} + +fn F(T:! I & J) -> T.(I.X) { + // `I` found in the facet type; The facet value of `T` in `C(T)` holds a + // `FacetAccessWitness`. + var x: C(T); + // `D.c` used the final impl decl to make a facet value with a + // `LookupImplWitness` for its `T` in `C(T)`. + var y: D(T); + // This converts a pointer to a facet value (with `FacetAccessWitness`) to a + // pointer to a facet value (with `LookupImplWitness`). + // + // TODO: It should type check as a `LookupImplWitness` will find the same + // witness that `FacetAccessWitness` is accessing from the caller. + // + // CHECK:STDERR: fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon:[[@LINE+7]]:3: error: cannot implicitly convert expression of type `C(T as I)*` to `C(T as I)*` [ConversionFailure] + // CHECK:STDERR: y.c = &x; + // CHECK:STDERR: ^~~~~~~~ + // CHECK:STDERR: fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon:[[@LINE+4]]:3: note: type `C(T as I)*` does not implement interface `Core.ImplicitAs(C(T as I)*)` [MissingImplInMemberAccessNote] + // CHECK:STDERR: y.c = &x; + // CHECK:STDERR: ^~~~~~~~ + // CHECK:STDERR: + y.c = &x; + // CHECK:STDERR: fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon:[[@LINE+7]]:3: error: cannot implicitly convert expression of type `(T as J as I).(I.X)` to `T.(TODO: element 0 in )` [ConversionFailure] + // CHECK:STDERR: return (*y.c).b; + // CHECK:STDERR: ^~~~~~~~~~~~~~~~ + // CHECK:STDERR: fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon:[[@LINE+4]]:3: note: type `(T as J as I).(I.X)` does not implement interface `Core.ImplicitAs(T.(TODO: element 0 in ))` [MissingImplInMemberAccessNote] + // CHECK:STDERR: return (*y.c).b; + // CHECK:STDERR: ^~~~~~~~~~~~~~~~ + // CHECK:STDERR: + return (*y.c).b; +} + +class E1 {} +impl E1 as J {} + +fn G1() { + // Doesn't see the `final impl` below. `E1.(I.X)` is `()`. + let a1: () = F(E1); +} + +final impl forall [T:! J] T as I where .X = {} {} + +class E2 {} +impl E2 as J {} + +fn G2() { + // TODO: Does see the `final impl` above. `E2.(I.X)` is `{}`. + // CHECK:STDERR: fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon:[[@LINE+7]]:16: error: cannot implicitly convert expression of type `()` to `{}` [ConversionFailure] + // CHECK:STDERR: let a2: {} = F(E2); + // CHECK:STDERR: ^~~~~ + // CHECK:STDERR: fail_todo_convert_facet_value_of_facet_access_witness_to_facet_value_of_lookup_impl_witness.carbon:[[@LINE+4]]:16: note: type `()` does not implement interface `Core.ImplicitAs({})` [MissingImplInMemberAccessNote] + // CHECK:STDERR: let a2: {} = F(E2); + // CHECK:STDERR: ^~~~~ + // CHECK:STDERR: + let a2: {} = F(E2); +} + +// --- todo_fail_facet_value_rewrite_incompatible_with_final_impl.carbon +library "[[@TEST_NAME]]"; + +interface Z { + let X:! type; +} + +final impl forall [T:! type] T as Z where .X = () {} + +// TODO: This should be diagnosed as there is a final impl defining `.X = ()`, +// which makes the LHS of this rewrite constraint concrete. And since the RHS is +// not the same (or convertible from), the rewrite is impossible. +fn F(ZZ:! Z where .X = {.r: ()}) {} diff --git a/toolchain/check/testdata/impl/lookup/min_prelude/specialization.carbon b/toolchain/check/testdata/impl/lookup/min_prelude/specialization.carbon index 6f209b48a6fe..b704bbab9d8b 100644 --- a/toolchain/check/testdata/impl/lookup/min_prelude/specialization.carbon +++ b/toolchain/check/testdata/impl/lookup/min_prelude/specialization.carbon @@ -237,6 +237,7 @@ fn F[D:! Y](d: D) { // The FacetValue deduced for the param of `C` will be a symbolic FacetValue // because we are in a generic where `D` is an unknown type, which will cause // the query and impl self type to be C(FacetValue) for a symbolic FacetValue. + // // CHECK:STDERR: fail_specialized_class_with_symbolic_facet_value_param.carbon:[[@LINE+7]]:23: error: cannot implicitly convert expression of type `()` to `(C(D) as Z).(Z.X)` [ConversionFailure] // CHECK:STDERR: let a: C(D).(Z.X) = (); // CHECK:STDERR: ^~ @@ -426,41 +427,7 @@ fn F() { let x: {} = G(C); } -// --- fail_todo_specialization_of_type_constant_in_generic_context_with_final_impl.carbon -library "[[@TEST_NAME]]"; - -interface I { - let T:! type; - fn F[self: Self]() -> T; -} - -impl forall [U:! type] U as I where .T = () { - fn F[self: Self]() -> () { return (); } -} -final impl forall [V:! type] V* as I where .T = V { - fn F[self: Self]() -> V { return *self; } -} - -fn H[W:! type](v: W) -> W.(I.T) { - return v.(I.F)(); -} - -// The return of `H` is `(X*).(I.T)` which has a final impl making it `X`. -// While this function is still a generic context, it should see the concrete -// `X` type and the return of `H(p)` should convert (a no-op) to `X`. -fn G[X:! type](p: X*) -> X { - // CHECK:STDERR: fail_todo_specialization_of_type_constant_in_generic_context_with_final_impl.carbon:[[@LINE+7]]:3: error: cannot implicitly convert expression of type `(X* as I).(I.T)` to `X` [ConversionFailure] - // CHECK:STDERR: return H(p); - // CHECK:STDERR: ^~~~~~~~~~~~ - // CHECK:STDERR: fail_todo_specialization_of_type_constant_in_generic_context_with_final_impl.carbon:[[@LINE+4]]:3: note: type `(X* as I).(I.T)` does not implement interface `Core.ImplicitAs(X)` [MissingImplInMemberAccessNote] - // CHECK:STDERR: return H(p); - // CHECK:STDERR: ^~~~~~~~~~~~ - // CHECK:STDERR: - return H(p); -} - // --- type_structure_first_difference.carbon - library "[[@TEST_NAME]]"; interface Z(T:! type) { diff --git a/toolchain/check/testdata/impl/lookup/min_prelude/specialization_with_symbolic_rewrite.carbon b/toolchain/check/testdata/impl/lookup/min_prelude/specialization_with_symbolic_rewrite.carbon new file mode 100644 index 000000000000..ccaaa0c48188 --- /dev/null +++ b/toolchain/check/testdata/impl/lookup/min_prelude/specialization_with_symbolic_rewrite.carbon @@ -0,0 +1,1905 @@ +// Part of the Carbon Language project, under the Apache License v2.0 with LLVM +// Exceptions. See /LICENSE for license information. +// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception +// +// INCLUDE-FILE: toolchain/testing/min_prelude/facet_types.carbon +// EXTRA-ARGS: --custom-core +// +// AUTOUPDATE +// TIP: To test this file alone, run: +// TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/check/testdata/impl/lookup/min_prelude/specialization_with_symbolic_rewrite.carbon +// TIP: To dump output, run: +// TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/check/testdata/impl/lookup/min_prelude/specialization_with_symbolic_rewrite.carbon + +// --- final_specialized_symbolic_rewrite.carbon +library "[[@TEST_NAME]]"; + +interface Z(T:! type) { + let X:! type; +} + +class C {} + +impl forall [T:! type, S:! type] T as Z(S) where .X = () {} + +final impl forall [T:! type] T as Z(C) where .X = T {} + +fn F(T:! Z(C), t: T) { + // This should typecheck, the `final impl` should give the same `T`. + let a: T.X = t; +} + +// --- fail_nonfinal_specialized_symbolic_rewrite.carbon +library "[[@TEST_NAME]]"; + +interface Z(T:! type) { + let X:! type; +} +interface Y {} + +class C {} + +impl forall [T:! type, S:! type] T as Z(S) where .X = () {} + +impl forall [T:! type] T as Z(C) where .X = T {} + +fn F(T:! Z(C), t: T) { + // CHECK:STDERR: fail_nonfinal_specialized_symbolic_rewrite.carbon:[[@LINE+7]]:16: error: cannot implicitly convert expression of type `T` to `T.(Z(C).X)` [ConversionFailure] + // CHECK:STDERR: let a: T.X = t; + // CHECK:STDERR: ^ + // CHECK:STDERR: fail_nonfinal_specialized_symbolic_rewrite.carbon:[[@LINE+4]]:16: note: type `T` does not implement interface `Core.ImplicitAs(T.(Z(C).X))` [MissingImplInMemberAccessNote] + // CHECK:STDERR: let a: T.X = t; + // CHECK:STDERR: ^ + // CHECK:STDERR: + let a: T.X = t; +} + +// --- final_impl_rewrite_of_symbolic_through_impl_witness.carbon +library "[[@TEST_NAME]]"; + +interface Ptr { + let Type:! type; +} + +final impl forall [U:! type] U as Ptr where .Type = U* {} + +fn F[T:! type](var t: T) -> T.(Ptr.Type) { + return &t; +} + +// --- final_impl_rewrite_of_symbolic_through_facet_access_type.carbon +library "[[@TEST_NAME]]"; + +interface Ptr { + let Type:! type; +} + +final impl forall [U:! type] U as Ptr where .Type = U* {} + +fn F[T:! Ptr](var t: T) -> T.Type { + return &t; +} + +// --- fail_todo_final_impl_rewrite_of_symbolic_through_facet_access_witness.carbon +library "[[@TEST_NAME]]"; + +interface Ptr { + let Type:! type; +} + +final impl forall [U:! type] U as Ptr where .Type = U* {} + +fn F[T:! Ptr](var t: T) -> T.(Ptr.Type) { + // CHECK:STDERR: fail_todo_final_impl_rewrite_of_symbolic_through_facet_access_witness.carbon:[[@LINE+7]]:3: error: cannot implicitly convert expression of type `T*` to `T.(Ptr.Type)` [ConversionFailure] + // CHECK:STDERR: return &t; + // CHECK:STDERR: ^~~~~~~~~~ + // CHECK:STDERR: fail_todo_final_impl_rewrite_of_symbolic_through_facet_access_witness.carbon:[[@LINE+4]]:3: note: type `T*` does not implement interface `Core.ImplicitAs(T.(Ptr.Type))` [MissingImplInMemberAccessNote] + // CHECK:STDERR: return &t; + // CHECK:STDERR: ^~~~~~~~~~ + // CHECK:STDERR: + return &t; +} + +// CHECK:STDOUT: --- final_specialized_symbolic_rewrite.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %T.8b3: type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt.e01: type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %Z.type.9fb: type = generic_interface_type @Z [concrete] +// CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] +// CHECK:STDOUT: %Z.generic: %Z.type.9fb = struct_value () [concrete] +// CHECK:STDOUT: %Z.type.a61: type = facet_type <@Z, @Z(%T.8b3)> [symbolic] +// CHECK:STDOUT: %Self.2bc: %Z.type.a61 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Z.assoc_type.26e: type = assoc_entity_type @Z, @Z(%T.8b3) [symbolic] +// CHECK:STDOUT: %assoc0.1cd: %Z.assoc_type.26e = assoc_entity element0, @Z.%X [symbolic] +// CHECK:STDOUT: %C: type = class_type @C [concrete] +// CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] +// CHECK:STDOUT: %complete_type: = complete_type_witness %empty_struct_type [concrete] +// CHECK:STDOUT: %S: type = bind_symbolic_name S, 1 [symbolic] +// CHECK:STDOUT: %S.patt: type = symbolic_binding_pattern S, 1 [symbolic] +// CHECK:STDOUT: %Z.type.8e9: type = facet_type <@Z, @Z(%S)> [symbolic] +// CHECK:STDOUT: %.Self.eb1: %Z.type.8e9 = bind_symbolic_name .Self [symbolic] +// CHECK:STDOUT: %Self.831: %Z.type.8e9 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Z.assoc_type.0e7: type = assoc_entity_type @Z, @Z(%S) [symbolic] +// CHECK:STDOUT: %assoc0.abb: %Z.assoc_type.0e7 = assoc_entity element0, @Z.%X [symbolic] +// CHECK:STDOUT: %require_complete.b87: = require_complete_type %Z.type.8e9 [symbolic] +// CHECK:STDOUT: %.Self.as_type.ffd: type = facet_access_type %.Self.eb1 [symbolic] +// CHECK:STDOUT: %.Self.as_wit.iface0.178: = facet_access_witness %.Self.eb1, element0 [symbolic] +// CHECK:STDOUT: %Z.facet.868: %Z.type.8e9 = facet_value %.Self.as_type.ffd, (%.Self.as_wit.iface0.178) [symbolic] +// CHECK:STDOUT: %impl.elem0.a53: type = impl_witness_access %.Self.as_wit.iface0.178, element0 [symbolic] +// CHECK:STDOUT: %Z_where.type.93a: type = facet_type <@Z, @Z(%S) where %impl.elem0.a53 = %empty_tuple.type> [symbolic] +// CHECK:STDOUT: %require_complete.619: = require_complete_type %Z_where.type.93a [symbolic] +// CHECK:STDOUT: %impl_witness.dba: = impl_witness (file.%impl_witness_assoc_constant.loc9), @impl.76d(%T.8b3, %S) [symbolic] +// CHECK:STDOUT: %Z.type.049: type = facet_type <@Z, @Z(%C)> [concrete] +// CHECK:STDOUT: %.Self.3c5: %Z.type.049 = bind_symbolic_name .Self [symbolic_self] +// CHECK:STDOUT: %Self.a38: %Z.type.049 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Z.assoc_type.252: type = assoc_entity_type @Z, @Z(%C) [concrete] +// CHECK:STDOUT: %assoc0.ea4: %Z.assoc_type.252 = assoc_entity element0, @Z.%X [concrete] +// CHECK:STDOUT: %.Self.as_type.c3c: type = facet_access_type %.Self.3c5 [symbolic_self] +// CHECK:STDOUT: %.Self.as_wit.iface0.72c: = facet_access_witness %.Self.3c5, element0 [symbolic_self] +// CHECK:STDOUT: %Z.facet.375: %Z.type.049 = facet_value %.Self.as_type.c3c, (%.Self.as_wit.iface0.72c) [symbolic_self] +// CHECK:STDOUT: %impl.elem0.802: type = impl_witness_access %.Self.as_wit.iface0.72c, element0 [symbolic_self] +// CHECK:STDOUT: %Z_where.type.bee: type = facet_type <@Z, @Z(%C) where %impl.elem0.802 = %T.8b3> [symbolic] +// CHECK:STDOUT: %require_complete.13f: = require_complete_type %Z_where.type.bee [symbolic] +// CHECK:STDOUT: %impl_witness.a9c: = impl_witness (file.%impl_witness_assoc_constant.loc11), @impl.44b(%T.8b3) [symbolic] +// CHECK:STDOUT: %T.62d: %Z.type.049 = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt.897: %Z.type.049 = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %T.as_type: type = facet_access_type %T.62d [symbolic] +// CHECK:STDOUT: %F.type: type = fn_type @F [concrete] +// CHECK:STDOUT: %F: %F.type = struct_value () [concrete] +// CHECK:STDOUT: %require_complete.2b1: = require_complete_type %T.as_type [symbolic] +// CHECK:STDOUT: %Z_where.type.c29: type = facet_type <@Z, @Z(%C) where %impl.elem0.802 = %T.as_type> [symbolic] +// CHECK:STDOUT: %require_complete.c8a: = require_complete_type %Z_where.type.c29 [symbolic] +// CHECK:STDOUT: %impl_witness.7ef: = impl_witness (file.%impl_witness_assoc_constant.loc11), @impl.44b(%T.as_type) [symbolic] +// CHECK:STDOUT: %Z.facet.ffe: %Z.type.049 = facet_value %T.as_type, (%impl_witness.7ef) [symbolic] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: imports { +// CHECK:STDOUT: %Core: = namespace file.%Core.import, [concrete] { +// CHECK:STDOUT: import Core//prelude +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: file { +// CHECK:STDOUT: package: = namespace [concrete] { +// CHECK:STDOUT: .Core = imports.%Core +// CHECK:STDOUT: .Z = %Z.decl +// CHECK:STDOUT: .C = %C.decl +// CHECK:STDOUT: .F = %F.decl +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import = import Core +// CHECK:STDOUT: %Z.decl: %Z.type.9fb = interface_decl @Z [concrete = constants.%Z.generic] { +// CHECK:STDOUT: %T.patt.loc3_13.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc3_13.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.loc3_13.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc3_13.2 (constants.%T.8b3)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} +// CHECK:STDOUT: impl_decl @impl.76d [concrete] { +// CHECK:STDOUT: %T.patt.loc9_14.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_14.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: %S.patt.loc9_24.1: type = symbolic_binding_pattern S, 1 [symbolic = %S.patt.loc9_24.2 (constants.%S.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc9_14.1 [symbolic = %T.loc9_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %Z.ref: %Z.type.9fb = name_ref Z, file.%Z.decl [concrete = constants.%Z.generic] +// CHECK:STDOUT: %S.ref: type = name_ref S, %S.loc9_24.1 [symbolic = %S.loc9_24.2 (constants.%S)] +// CHECK:STDOUT: %Z.type.loc9_42.1: type = facet_type <@Z, @Z(constants.%S)> [symbolic = %Z.type.loc9_42.2 (constants.%Z.type.8e9)] +// CHECK:STDOUT: %.Self.1: @impl.76d.%Z.type.loc9_42.2 (%Z.type.8e9) = bind_symbolic_name .Self [symbolic = %.Self.2 (constants.%.Self.eb1)] +// CHECK:STDOUT: %.Self.ref: @impl.76d.%Z.type.loc9_42.2 (%Z.type.8e9) = name_ref .Self, %.Self.1 [symbolic = %.Self.2 (constants.%.Self.eb1)] +// CHECK:STDOUT: %.loc9_50.1: @impl.76d.%Z.assoc_type (%Z.assoc_type.0e7) = specific_constant @X.%assoc0, @Z(constants.%S) [symbolic = %assoc0 (constants.%assoc0.abb)] +// CHECK:STDOUT: %X.ref: @impl.76d.%Z.assoc_type (%Z.assoc_type.0e7) = name_ref X, %.loc9_50.1 [symbolic = %assoc0 (constants.%assoc0.abb)] +// CHECK:STDOUT: %.Self.as_type.loc9_50.1: type = facet_access_type %.Self.ref [symbolic = %.Self.as_type.loc9_50.2 (constants.%.Self.as_type.ffd)] +// CHECK:STDOUT: %.loc9_50.2: type = converted %.Self.ref, %.Self.as_type.loc9_50.1 [symbolic = %.Self.as_type.loc9_50.2 (constants.%.Self.as_type.ffd)] +// CHECK:STDOUT: %.Self.as_wit.iface0.loc9_50.1: = facet_access_witness %.Self.ref, element0 [symbolic = %.Self.as_wit.iface0.loc9_50.2 (constants.%.Self.as_wit.iface0.178)] +// CHECK:STDOUT: %impl.elem0.loc9_50.1: type = impl_witness_access %.Self.as_wit.iface0.loc9_50.1, element0 [symbolic = %impl.elem0.loc9_50.2 (constants.%impl.elem0.a53)] +// CHECK:STDOUT: %.loc9_56.1: %empty_tuple.type = tuple_literal () +// CHECK:STDOUT: %.loc9_56.2: type = converted %.loc9_56.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type] +// CHECK:STDOUT: %.loc9_44: type = where_expr %.Self.1 [symbolic = %Z_where.type (constants.%Z_where.type.93a)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0.loc9_50.1, %.loc9_56.2 +// CHECK:STDOUT: } +// CHECK:STDOUT: %T.loc9_14.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc9_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %S.loc9_24.1: type = bind_symbolic_name S, 1 [symbolic = %S.loc9_24.2 (constants.%S)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness.loc9: = impl_witness (%impl_witness_assoc_constant.loc9), @impl.76d(constants.%T.8b3, constants.%S) [symbolic = @impl.76d.%impl_witness (constants.%impl_witness.dba)] +// CHECK:STDOUT: %impl_witness_assoc_constant.loc9: type = impl_witness_assoc_constant constants.%empty_tuple.type [concrete = constants.%empty_tuple.type] +// CHECK:STDOUT: impl_decl @impl.44b [concrete] { +// CHECK:STDOUT: %T.patt.loc11_20.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc11_20.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref.loc11_30: type = name_ref T, %T.loc11_20.1 [symbolic = %T.loc11_20.2 (constants.%T.8b3)] +// CHECK:STDOUT: %Z.ref: %Z.type.9fb = name_ref Z, file.%Z.decl [concrete = constants.%Z.generic] +// CHECK:STDOUT: %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C] +// CHECK:STDOUT: %Z.type: type = facet_type <@Z, @Z(constants.%C)> [concrete = constants.%Z.type.049] +// CHECK:STDOUT: %.Self: %Z.type.049 = bind_symbolic_name .Self [symbolic_self = constants.%.Self.3c5] +// CHECK:STDOUT: %.Self.ref: %Z.type.049 = name_ref .Self, %.Self [symbolic_self = constants.%.Self.3c5] +// CHECK:STDOUT: %.loc11_46.1: %Z.assoc_type.252 = specific_constant @X.%assoc0, @Z(constants.%C) [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %X.ref: %Z.assoc_type.252 = name_ref X, %.loc11_46.1 [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self.ref [symbolic_self = constants.%.Self.as_type.c3c] +// CHECK:STDOUT: %.loc11_46.2: type = converted %.Self.ref, %.Self.as_type [symbolic_self = constants.%.Self.as_type.c3c] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self.ref, element0 [symbolic_self = constants.%.Self.as_wit.iface0.72c] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self = constants.%impl.elem0.802] +// CHECK:STDOUT: %T.ref.loc11_51: type = name_ref T, %T.loc11_20.1 [symbolic = %T.loc11_20.2 (constants.%T.8b3)] +// CHECK:STDOUT: %.loc11_40: type = where_expr %.Self [symbolic = %Z_where.type (constants.%Z_where.type.bee)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0, %T.ref.loc11_51 +// CHECK:STDOUT: } +// CHECK:STDOUT: %T.loc11_20.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc11_20.2 (constants.%T.8b3)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness.loc11: = impl_witness (%impl_witness_assoc_constant.loc11), @impl.44b(constants.%T.8b3) [symbolic = @impl.44b.%impl_witness (constants.%impl_witness.a9c)] +// CHECK:STDOUT: %impl_witness_assoc_constant.loc11: type = impl_witness_assoc_constant constants.%T.8b3 [symbolic = @impl.44b.%T.loc11_20.2 (constants.%T.8b3)] +// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] { +// CHECK:STDOUT: %T.patt.loc13_6.1: %Z.type.049 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc13_6.2 (constants.%T.patt.897)] +// CHECK:STDOUT: %t.patt: @F.%T.as_type.loc13_19.2 (%T.as_type) = binding_pattern t +// CHECK:STDOUT: %t.param_patt: @F.%T.as_type.loc13_19.2 (%T.as_type) = value_param_pattern %t.patt, call_param0 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %.loc13_13: type = splice_block %Z.type [concrete = constants.%Z.type.049] { +// CHECK:STDOUT: %Z.ref: %Z.type.9fb = name_ref Z, file.%Z.decl [concrete = constants.%Z.generic] +// CHECK:STDOUT: %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C] +// CHECK:STDOUT: %Z.type: type = facet_type <@Z, @Z(constants.%C)> [concrete = constants.%Z.type.049] +// CHECK:STDOUT: } +// CHECK:STDOUT: %T.loc13_6.1: %Z.type.049 = bind_symbolic_name T, 0 [symbolic = %T.loc13_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %t.param: @F.%T.as_type.loc13_19.2 (%T.as_type) = value_param call_param0 +// CHECK:STDOUT: %.loc13_19.1: type = splice_block %.loc13_19.2 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] { +// CHECK:STDOUT: %T.ref.loc13: %Z.type.049 = name_ref T, %T.loc13_6.1 [symbolic = %T.loc13_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %T.as_type.loc13_19.1: type = facet_access_type %T.ref.loc13 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc13_19.2: type = converted %T.ref.loc13, %T.as_type.loc13_19.1 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %t: @F.%T.as_type.loc13_19.2 (%T.as_type) = bind_name t, %t.param +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic interface @Z(%T.loc3_13.1: type) { +// CHECK:STDOUT: %T.loc3_13.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc3_13.2 (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt.loc3_13.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc3_13.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Z.type: type = facet_type <@Z, @Z(%T.loc3_13.2)> [symbolic = %Z.type (constants.%Z.type.a61)] +// CHECK:STDOUT: %Self.2: @Z.%Z.type (%Z.type.a61) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.2bc)] +// CHECK:STDOUT: %Z.assoc_type: type = assoc_entity_type @Z, @Z(%T.loc3_13.2) [symbolic = %Z.assoc_type (constants.%Z.assoc_type.26e)] +// CHECK:STDOUT: %assoc0: @Z.%Z.assoc_type (%Z.assoc_type.26e) = assoc_entity element0, %X [symbolic = %assoc0 (constants.%assoc0.1cd)] +// CHECK:STDOUT: +// CHECK:STDOUT: interface { +// CHECK:STDOUT: %Self.1: @Z.%Z.type (%Z.type.a61) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.2bc)] +// CHECK:STDOUT: %X: type = assoc_const_decl @X [concrete] { +// CHECK:STDOUT: %assoc0: @Z.%Z.assoc_type (%Z.assoc_type.26e) = assoc_entity element0, @Z.%X [symbolic = @Z.%assoc0 (constants.%assoc0.1cd)] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self.1 +// CHECK:STDOUT: .X = @X.%assoc0 +// CHECK:STDOUT: witness = (%X) +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic assoc_const @X(@Z.%T.loc3_13.1: type, @Z.%Self.1: @Z.%Z.type (%Z.type.a61)) { +// CHECK:STDOUT: assoc_const X:! type; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.76d(%T.loc9_14.1: type, %S.loc9_24.1: type) { +// CHECK:STDOUT: %T.loc9_14.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc9_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt.loc9_14.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_14.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: %S.loc9_24.2: type = bind_symbolic_name S, 1 [symbolic = %S.loc9_24.2 (constants.%S)] +// CHECK:STDOUT: %S.patt.loc9_24.2: type = symbolic_binding_pattern S, 1 [symbolic = %S.patt.loc9_24.2 (constants.%S.patt)] +// CHECK:STDOUT: %Z.type.loc9_42.2: type = facet_type <@Z, @Z(%S.loc9_24.2)> [symbolic = %Z.type.loc9_42.2 (constants.%Z.type.8e9)] +// CHECK:STDOUT: %.Self.2: @impl.76d.%Z.type.loc9_42.2 (%Z.type.8e9) = bind_symbolic_name .Self [symbolic = %.Self.2 (constants.%.Self.eb1)] +// CHECK:STDOUT: %require_complete.loc9_50: = require_complete_type @impl.76d.%Z.type.loc9_42.2 (%Z.type.8e9) [symbolic = %require_complete.loc9_50 (constants.%require_complete.b87)] +// CHECK:STDOUT: %Z.assoc_type: type = assoc_entity_type @Z, @Z(%S.loc9_24.2) [symbolic = %Z.assoc_type (constants.%Z.assoc_type.0e7)] +// CHECK:STDOUT: %assoc0: @impl.76d.%Z.assoc_type (%Z.assoc_type.0e7) = assoc_entity element0, @Z.%X [symbolic = %assoc0 (constants.%assoc0.abb)] +// CHECK:STDOUT: %.Self.as_type.loc9_50.2: type = facet_access_type %.Self.2 [symbolic = %.Self.as_type.loc9_50.2 (constants.%.Self.as_type.ffd)] +// CHECK:STDOUT: %.Self.as_wit.iface0.loc9_50.2: = facet_access_witness %.Self.2, element0 [symbolic = %.Self.as_wit.iface0.loc9_50.2 (constants.%.Self.as_wit.iface0.178)] +// CHECK:STDOUT: %impl.elem0.loc9_50.2: type = impl_witness_access %.Self.as_wit.iface0.loc9_50.2, element0 [symbolic = %impl.elem0.loc9_50.2 (constants.%impl.elem0.a53)] +// CHECK:STDOUT: %Z_where.type: type = facet_type <@Z, @Z(%S.loc9_24.2) where %impl.elem0.loc9_50.2 = constants.%empty_tuple.type> [symbolic = %Z_where.type (constants.%Z_where.type.93a)] +// CHECK:STDOUT: %require_complete.loc9_44: = require_complete_type @impl.76d.%Z_where.type (%Z_where.type.93a) [symbolic = %require_complete.loc9_44 (constants.%require_complete.619)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant.loc9), @impl.76d(%T.loc9_14.2, %S.loc9_24.2) [symbolic = %impl_witness (constants.%impl_witness.dba)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %T.ref as %.loc9_44 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness.loc9 +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.44b(%T.loc11_20.1: type) { +// CHECK:STDOUT: %T.loc11_20.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc11_20.2 (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt.loc11_20.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc11_20.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: %Z_where.type: type = facet_type <@Z, @Z(constants.%C) where constants.%impl.elem0.802 = %T.loc11_20.2> [symbolic = %Z_where.type (constants.%Z_where.type.bee)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.44b.%Z_where.type (%Z_where.type.bee) [symbolic = %require_complete (constants.%require_complete.13f)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant.loc11), @impl.44b(%T.loc11_20.2) [symbolic = %impl_witness (constants.%impl_witness.a9c)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %T.ref.loc11_30 as %.loc11_40 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness.loc11 +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: class @C { +// CHECK:STDOUT: %complete_type: = complete_type_witness %empty_struct_type [concrete = constants.%complete_type] +// CHECK:STDOUT: complete_type_witness = %complete_type +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = constants.%C +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @F(%T.loc13_6.1: %Z.type.049) { +// CHECK:STDOUT: %T.loc13_6.2: %Z.type.049 = bind_symbolic_name T, 0 [symbolic = %T.loc13_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %T.patt.loc13_6.2: %Z.type.049 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc13_6.2 (constants.%T.patt.897)] +// CHECK:STDOUT: %T.as_type.loc13_19.2: type = facet_access_type %T.loc13_6.2 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %require_complete: = require_complete_type @F.%T.as_type.loc13_19.2 (%T.as_type) [symbolic = %require_complete (constants.%require_complete.2b1)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn(%T.patt.loc13_6.1: %Z.type.049, %t.param_patt: @F.%T.as_type.loc13_19.2 (%T.as_type)) { +// CHECK:STDOUT: !entry: +// CHECK:STDOUT: name_binding_decl { +// CHECK:STDOUT: %a.patt: @F.%T.as_type.loc13_19.2 (%T.as_type) = binding_pattern a +// CHECK:STDOUT: } +// CHECK:STDOUT: %t.ref: @F.%T.as_type.loc13_19.2 (%T.as_type) = name_ref t, %t +// CHECK:STDOUT: %.loc15_11.1: type = splice_block %impl.elem0 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] { +// CHECK:STDOUT: %T.ref.loc15: %Z.type.049 = name_ref T, %T.loc13_6.1 [symbolic = %T.loc13_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %.loc15_11.2: %Z.assoc_type.252 = specific_constant @X.%assoc0, @Z(constants.%C) [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %X.ref: %Z.assoc_type.252 = name_ref X, %.loc15_11.2 [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %T.as_type.loc15_11.1: type = facet_access_type %T.ref.loc15 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc15_11.3: type = converted %T.ref.loc15, %T.as_type.loc15_11.1 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %T.as_type.loc15_11.2: type = facet_access_type constants.%T.62d [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc15_11.4: type = converted constants.%T.62d, %T.as_type.loc15_11.2 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access constants.%impl_witness.7ef, element0 [symbolic = %T.as_type.loc13_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %a: @F.%T.as_type.loc13_19.2 (%T.as_type) = bind_name a, %t.ref +// CHECK:STDOUT: return +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(constants.%T.8b3) { +// CHECK:STDOUT: %T.loc3_13.2 => constants.%T.8b3 +// CHECK:STDOUT: %T.patt.loc3_13.2 => constants.%T.patt.e01 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%T.8b3, constants.%Self.2bc) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(%T.loc3_13.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(constants.%S) { +// CHECK:STDOUT: %T.loc3_13.2 => constants.%S +// CHECK:STDOUT: %T.patt.loc3_13.2 => constants.%T.patt.e01 +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Z.type => constants.%Z.type.8e9 +// CHECK:STDOUT: %Self.2 => constants.%Self.831 +// CHECK:STDOUT: %Z.assoc_type => constants.%Z.assoc_type.0e7 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.abb +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%S, constants.%Z.facet.868) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.76d(constants.%T.8b3, constants.%S) { +// CHECK:STDOUT: %T.loc9_14.2 => constants.%T.8b3 +// CHECK:STDOUT: %T.patt.loc9_14.2 => constants.%T.patt.e01 +// CHECK:STDOUT: %S.loc9_24.2 => constants.%S +// CHECK:STDOUT: %S.patt.loc9_24.2 => constants.%S.patt +// CHECK:STDOUT: %Z.type.loc9_42.2 => constants.%Z.type.8e9 +// CHECK:STDOUT: %.Self.2 => constants.%.Self.eb1 +// CHECK:STDOUT: %require_complete.loc9_50 => constants.%require_complete.b87 +// CHECK:STDOUT: %Z.assoc_type => constants.%Z.assoc_type.0e7 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.abb +// CHECK:STDOUT: %.Self.as_type.loc9_50.2 => constants.%.Self.as_type.ffd +// CHECK:STDOUT: %.Self.as_wit.iface0.loc9_50.2 => constants.%.Self.as_wit.iface0.178 +// CHECK:STDOUT: %impl.elem0.loc9_50.2 => constants.%impl.elem0.a53 +// CHECK:STDOUT: %Z_where.type => constants.%Z_where.type.93a +// CHECK:STDOUT: %require_complete.loc9_44 => constants.%require_complete.619 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.dba +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(@impl.76d.%S.loc9_24.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.76d(%T.loc9_14.2, %S.loc9_24.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(constants.%C) { +// CHECK:STDOUT: %T.loc3_13.2 => constants.%C +// CHECK:STDOUT: %T.patt.loc3_13.2 => constants.%T.patt.e01 +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Z.type => constants.%Z.type.049 +// CHECK:STDOUT: %Self.2 => constants.%Self.a38 +// CHECK:STDOUT: %Z.assoc_type => constants.%Z.assoc_type.252 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.ea4 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%C, constants.%Z.facet.375) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.44b(constants.%T.8b3) { +// CHECK:STDOUT: %T.loc11_20.2 => constants.%T.8b3 +// CHECK:STDOUT: %T.patt.loc11_20.2 => constants.%T.patt.e01 +// CHECK:STDOUT: %Z_where.type => constants.%Z_where.type.bee +// CHECK:STDOUT: %require_complete => constants.%require_complete.13f +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.a9c +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.44b(%T.loc11_20.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @F(constants.%T.62d) { +// CHECK:STDOUT: %T.loc13_6.2 => constants.%T.62d +// CHECK:STDOUT: %T.patt.loc13_6.2 => constants.%T.patt.897 +// CHECK:STDOUT: %T.as_type.loc13_19.2 => constants.%T.as_type +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.44b(constants.%T.as_type) { +// CHECK:STDOUT: %T.loc11_20.2 => constants.%T.as_type +// CHECK:STDOUT: %T.patt.loc11_20.2 => constants.%T.patt.e01 +// CHECK:STDOUT: %Z_where.type => constants.%Z_where.type.c29 +// CHECK:STDOUT: %require_complete => constants.%require_complete.c8a +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.7ef +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%C, constants.%Z.facet.ffe) {} +// CHECK:STDOUT: +// CHECK:STDOUT: --- fail_nonfinal_specialized_symbolic_rewrite.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %T.8b3: type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt.e01: type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %Z.type.9fb: type = generic_interface_type @Z [concrete] +// CHECK:STDOUT: %empty_tuple.type: type = tuple_type () [concrete] +// CHECK:STDOUT: %Z.generic: %Z.type.9fb = struct_value () [concrete] +// CHECK:STDOUT: %Z.type.a61: type = facet_type <@Z, @Z(%T.8b3)> [symbolic] +// CHECK:STDOUT: %Self.2bc: %Z.type.a61 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Z.assoc_type.26e: type = assoc_entity_type @Z, @Z(%T.8b3) [symbolic] +// CHECK:STDOUT: %assoc0.1cd: %Z.assoc_type.26e = assoc_entity element0, @Z.%X [symbolic] +// CHECK:STDOUT: %Y.type: type = facet_type <@Y> [concrete] +// CHECK:STDOUT: %Self.b29: %Y.type = bind_symbolic_name Self, 0 [symbolic] +// CHECK:STDOUT: %C: type = class_type @C [concrete] +// CHECK:STDOUT: %empty_struct_type: type = struct_type {} [concrete] +// CHECK:STDOUT: %complete_type: = complete_type_witness %empty_struct_type [concrete] +// CHECK:STDOUT: %S: type = bind_symbolic_name S, 1 [symbolic] +// CHECK:STDOUT: %S.patt: type = symbolic_binding_pattern S, 1 [symbolic] +// CHECK:STDOUT: %Z.type.8e9: type = facet_type <@Z, @Z(%S)> [symbolic] +// CHECK:STDOUT: %.Self.eb1: %Z.type.8e9 = bind_symbolic_name .Self [symbolic] +// CHECK:STDOUT: %Self.831: %Z.type.8e9 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Z.assoc_type.0e7: type = assoc_entity_type @Z, @Z(%S) [symbolic] +// CHECK:STDOUT: %assoc0.abb: %Z.assoc_type.0e7 = assoc_entity element0, @Z.%X [symbolic] +// CHECK:STDOUT: %require_complete.b87: = require_complete_type %Z.type.8e9 [symbolic] +// CHECK:STDOUT: %.Self.as_type.ffd: type = facet_access_type %.Self.eb1 [symbolic] +// CHECK:STDOUT: %.Self.as_wit.iface0.178: = facet_access_witness %.Self.eb1, element0 [symbolic] +// CHECK:STDOUT: %Z.facet.868: %Z.type.8e9 = facet_value %.Self.as_type.ffd, (%.Self.as_wit.iface0.178) [symbolic] +// CHECK:STDOUT: %impl.elem0.a53: type = impl_witness_access %.Self.as_wit.iface0.178, element0 [symbolic] +// CHECK:STDOUT: %Z_where.type.93a: type = facet_type <@Z, @Z(%S) where %impl.elem0.a53 = %empty_tuple.type> [symbolic] +// CHECK:STDOUT: %require_complete.619: = require_complete_type %Z_where.type.93a [symbolic] +// CHECK:STDOUT: %impl_witness.dba: = impl_witness (file.%impl_witness_assoc_constant.loc10), @impl.76d(%T.8b3, %S) [symbolic] +// CHECK:STDOUT: %Z.type.049: type = facet_type <@Z, @Z(%C)> [concrete] +// CHECK:STDOUT: %.Self.3c5: %Z.type.049 = bind_symbolic_name .Self [symbolic_self] +// CHECK:STDOUT: %Self.a38: %Z.type.049 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Z.assoc_type.252: type = assoc_entity_type @Z, @Z(%C) [concrete] +// CHECK:STDOUT: %assoc0.ea4: %Z.assoc_type.252 = assoc_entity element0, @Z.%X [concrete] +// CHECK:STDOUT: %.Self.as_type.c3c: type = facet_access_type %.Self.3c5 [symbolic_self] +// CHECK:STDOUT: %.Self.as_wit.iface0.72c: = facet_access_witness %.Self.3c5, element0 [symbolic_self] +// CHECK:STDOUT: %Z.facet.375: %Z.type.049 = facet_value %.Self.as_type.c3c, (%.Self.as_wit.iface0.72c) [symbolic_self] +// CHECK:STDOUT: %impl.elem0.802: type = impl_witness_access %.Self.as_wit.iface0.72c, element0 [symbolic_self] +// CHECK:STDOUT: %Z_where.type.bee: type = facet_type <@Z, @Z(%C) where %impl.elem0.802 = %T.8b3> [symbolic] +// CHECK:STDOUT: %require_complete.13f: = require_complete_type %Z_where.type.bee [symbolic] +// CHECK:STDOUT: %impl_witness.a9c: = impl_witness (file.%impl_witness_assoc_constant.loc12), @impl.44b(%T.8b3) [symbolic] +// CHECK:STDOUT: %T.62d: %Z.type.049 = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt.897: %Z.type.049 = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %T.as_type: type = facet_access_type %T.62d [symbolic] +// CHECK:STDOUT: %F.type: type = fn_type @F [concrete] +// CHECK:STDOUT: %F: %F.type = struct_value () [concrete] +// CHECK:STDOUT: %require_complete.2b1: = require_complete_type %T.as_type [symbolic] +// CHECK:STDOUT: %T.as_wit.iface0: = facet_access_witness %T.62d, element0 [symbolic] +// CHECK:STDOUT: %Z.facet.c2f: %Z.type.049 = facet_value %T.as_type, (%T.as_wit.iface0) [symbolic] +// CHECK:STDOUT: %impl.elem0.44a: type = impl_witness_access %T.as_wit.iface0, element0 [symbolic] +// CHECK:STDOUT: %require_complete.b00: = require_complete_type %impl.elem0.44a [symbolic] +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic] +// CHECK:STDOUT: %ImplicitAs.type.d62: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic] +// CHECK:STDOUT: %Self.519: %ImplicitAs.type.d62 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Dest.patt: type = symbolic_binding_pattern Dest, 0 [symbolic] +// CHECK:STDOUT: %Convert.type.275: type = fn_type @Convert, @ImplicitAs(%Dest) [symbolic] +// CHECK:STDOUT: %Convert.42e: %Convert.type.275 = struct_value () [symbolic] +// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self.519 [symbolic] +// CHECK:STDOUT: %ImplicitAs.assoc_type.ca0: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%Dest) [symbolic] +// CHECK:STDOUT: %assoc0.9f5: %ImplicitAs.assoc_type.ca0 = assoc_entity element0, imports.%Core.import_ref.1c7 [symbolic] +// CHECK:STDOUT: %ImplicitAs.type.fb2: type = facet_type <@ImplicitAs, @ImplicitAs(%impl.elem0.44a)> [symbolic] +// CHECK:STDOUT: %Self.643: %ImplicitAs.type.fb2 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Convert.type.6ea: type = fn_type @Convert, @ImplicitAs(%impl.elem0.44a) [symbolic] +// CHECK:STDOUT: %Convert.d0b: %Convert.type.6ea = struct_value () [symbolic] +// CHECK:STDOUT: %ImplicitAs.assoc_type.40d: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%impl.elem0.44a) [symbolic] +// CHECK:STDOUT: %assoc0.763: %ImplicitAs.assoc_type.40d = assoc_entity element0, imports.%Core.import_ref.1c7 [symbolic] +// CHECK:STDOUT: %require_complete.462: = require_complete_type %ImplicitAs.type.fb2 [symbolic] +// CHECK:STDOUT: %assoc0.dc0: %ImplicitAs.assoc_type.ca0 = assoc_entity element0, imports.%Core.import_ref.207 [symbolic] +// CHECK:STDOUT: %BitAnd.type: type = facet_type <@BitAnd> [concrete] +// CHECK:STDOUT: %impl_witness.b81: = impl_witness (imports.%Core.import_ref.bd4), @impl.f92(%T.8b3) [symbolic] +// CHECK:STDOUT: %Op.type: type = fn_type @Op, @impl.f92(%T.8b3) [symbolic] +// CHECK:STDOUT: %Op: %Op.type = struct_value () [symbolic] +// CHECK:STDOUT: %require_complete.4ae: = require_complete_type %T.8b3 [symbolic] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: imports { +// CHECK:STDOUT: %Core: = namespace file.%Core.import, [concrete] { +// CHECK:STDOUT: .ImplicitAs = %Core.ImplicitAs +// CHECK:STDOUT: import Core//prelude +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import_ref.5ab3ec.1: type = import_ref Core//prelude, loc13_22, loaded [symbolic = @ImplicitAs.%Dest (constants.%Dest)] +// CHECK:STDOUT: %Core.import_ref.ff5 = import_ref Core//prelude, inst67 [no loc], unloaded +// CHECK:STDOUT: %Core.import_ref.492: @ImplicitAs.%ImplicitAs.assoc_type (%ImplicitAs.assoc_type.ca0) = import_ref Core//prelude, loc14_35, loaded [symbolic = @ImplicitAs.%assoc0 (constants.%assoc0.dc0)] +// CHECK:STDOUT: %Core.Convert = import_ref Core//prelude, Convert, unloaded +// CHECK:STDOUT: %Core.import_ref.5ab3ec.2: type = import_ref Core//prelude, loc13_22, loaded [symbolic = @ImplicitAs.%Dest (constants.%Dest)] +// CHECK:STDOUT: %Core.import_ref.ce1: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.d62) = import_ref Core//prelude, inst67 [no loc], loaded [symbolic = @ImplicitAs.%Self (constants.%Self.519)] +// CHECK:STDOUT: %Core.import_ref.1c7: @ImplicitAs.%Convert.type (%Convert.type.275) = import_ref Core//prelude, loc14_35, loaded [symbolic = @ImplicitAs.%Convert (constants.%Convert.42e)] +// CHECK:STDOUT: %Core.import_ref.ad0 = import_ref Core//prelude, inst102 [no loc], unloaded +// CHECK:STDOUT: %Core.import_ref.02e = import_ref Core//prelude, loc18_41, unloaded +// CHECK:STDOUT: %Core.Op = import_ref Core//prelude, Op, unloaded +// CHECK:STDOUT: %Core.import_ref.f80 = import_ref Core//prelude, loc21_36, unloaded +// CHECK:STDOUT: %Core.import_ref.5ab3ec.3: type = import_ref Core//prelude, loc21_14, loaded [symbolic = @impl.f92.%T (constants.%T.8b3)] +// CHECK:STDOUT: %Core.import_ref.583: type = import_ref Core//prelude, loc21_24, loaded [symbolic = @impl.f92.%T (constants.%T.8b3)] +// CHECK:STDOUT: %Core.import_ref.9c1: type = import_ref Core//prelude, loc21_29, loaded [concrete = constants.%BitAnd.type] +// CHECK:STDOUT: %Core.import_ref.bd4 = import_ref Core//prelude, loc22_42, unloaded +// CHECK:STDOUT: %Core.import_ref.5ab3ec.4: type = import_ref Core//prelude, loc21_14, loaded [symbolic = @impl.f92.%T (constants.%T.8b3)] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: file { +// CHECK:STDOUT: package: = namespace [concrete] { +// CHECK:STDOUT: .Core = imports.%Core +// CHECK:STDOUT: .Z = %Z.decl +// CHECK:STDOUT: .Y = %Y.decl +// CHECK:STDOUT: .C = %C.decl +// CHECK:STDOUT: .F = %F.decl +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import = import Core +// CHECK:STDOUT: %Z.decl: %Z.type.9fb = interface_decl @Z [concrete = constants.%Z.generic] { +// CHECK:STDOUT: %T.patt.loc3_13.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc3_13.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.loc3_13.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc3_13.2 (constants.%T.8b3)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %Y.decl: type = interface_decl @Y [concrete = constants.%Y.type] {} {} +// CHECK:STDOUT: %C.decl: type = class_decl @C [concrete = constants.%C] {} {} +// CHECK:STDOUT: impl_decl @impl.76d [concrete] { +// CHECK:STDOUT: %T.patt.loc10_14.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc10_14.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: %S.patt.loc10_24.1: type = symbolic_binding_pattern S, 1 [symbolic = %S.patt.loc10_24.2 (constants.%S.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc10_14.1 [symbolic = %T.loc10_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %Z.ref: %Z.type.9fb = name_ref Z, file.%Z.decl [concrete = constants.%Z.generic] +// CHECK:STDOUT: %S.ref: type = name_ref S, %S.loc10_24.1 [symbolic = %S.loc10_24.2 (constants.%S)] +// CHECK:STDOUT: %Z.type.loc10_42.1: type = facet_type <@Z, @Z(constants.%S)> [symbolic = %Z.type.loc10_42.2 (constants.%Z.type.8e9)] +// CHECK:STDOUT: %.Self.1: @impl.76d.%Z.type.loc10_42.2 (%Z.type.8e9) = bind_symbolic_name .Self [symbolic = %.Self.2 (constants.%.Self.eb1)] +// CHECK:STDOUT: %.Self.ref: @impl.76d.%Z.type.loc10_42.2 (%Z.type.8e9) = name_ref .Self, %.Self.1 [symbolic = %.Self.2 (constants.%.Self.eb1)] +// CHECK:STDOUT: %.loc10_50.1: @impl.76d.%Z.assoc_type (%Z.assoc_type.0e7) = specific_constant @X.%assoc0, @Z(constants.%S) [symbolic = %assoc0 (constants.%assoc0.abb)] +// CHECK:STDOUT: %X.ref: @impl.76d.%Z.assoc_type (%Z.assoc_type.0e7) = name_ref X, %.loc10_50.1 [symbolic = %assoc0 (constants.%assoc0.abb)] +// CHECK:STDOUT: %.Self.as_type.loc10_50.1: type = facet_access_type %.Self.ref [symbolic = %.Self.as_type.loc10_50.2 (constants.%.Self.as_type.ffd)] +// CHECK:STDOUT: %.loc10_50.2: type = converted %.Self.ref, %.Self.as_type.loc10_50.1 [symbolic = %.Self.as_type.loc10_50.2 (constants.%.Self.as_type.ffd)] +// CHECK:STDOUT: %.Self.as_wit.iface0.loc10_50.1: = facet_access_witness %.Self.ref, element0 [symbolic = %.Self.as_wit.iface0.loc10_50.2 (constants.%.Self.as_wit.iface0.178)] +// CHECK:STDOUT: %impl.elem0.loc10_50.1: type = impl_witness_access %.Self.as_wit.iface0.loc10_50.1, element0 [symbolic = %impl.elem0.loc10_50.2 (constants.%impl.elem0.a53)] +// CHECK:STDOUT: %.loc10_56.1: %empty_tuple.type = tuple_literal () +// CHECK:STDOUT: %.loc10_56.2: type = converted %.loc10_56.1, constants.%empty_tuple.type [concrete = constants.%empty_tuple.type] +// CHECK:STDOUT: %.loc10_44: type = where_expr %.Self.1 [symbolic = %Z_where.type (constants.%Z_where.type.93a)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0.loc10_50.1, %.loc10_56.2 +// CHECK:STDOUT: } +// CHECK:STDOUT: %T.loc10_14.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc10_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %S.loc10_24.1: type = bind_symbolic_name S, 1 [symbolic = %S.loc10_24.2 (constants.%S)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness.loc10: = impl_witness (%impl_witness_assoc_constant.loc10), @impl.76d(constants.%T.8b3, constants.%S) [symbolic = @impl.76d.%impl_witness (constants.%impl_witness.dba)] +// CHECK:STDOUT: %impl_witness_assoc_constant.loc10: type = impl_witness_assoc_constant constants.%empty_tuple.type [concrete = constants.%empty_tuple.type] +// CHECK:STDOUT: impl_decl @impl.44b [concrete] { +// CHECK:STDOUT: %T.patt.loc12_14.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc12_14.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref.loc12_24: type = name_ref T, %T.loc12_14.1 [symbolic = %T.loc12_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %Z.ref: %Z.type.9fb = name_ref Z, file.%Z.decl [concrete = constants.%Z.generic] +// CHECK:STDOUT: %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C] +// CHECK:STDOUT: %Z.type: type = facet_type <@Z, @Z(constants.%C)> [concrete = constants.%Z.type.049] +// CHECK:STDOUT: %.Self: %Z.type.049 = bind_symbolic_name .Self [symbolic_self = constants.%.Self.3c5] +// CHECK:STDOUT: %.Self.ref: %Z.type.049 = name_ref .Self, %.Self [symbolic_self = constants.%.Self.3c5] +// CHECK:STDOUT: %.loc12_40.1: %Z.assoc_type.252 = specific_constant @X.%assoc0, @Z(constants.%C) [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %X.ref: %Z.assoc_type.252 = name_ref X, %.loc12_40.1 [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self.ref [symbolic_self = constants.%.Self.as_type.c3c] +// CHECK:STDOUT: %.loc12_40.2: type = converted %.Self.ref, %.Self.as_type [symbolic_self = constants.%.Self.as_type.c3c] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self.ref, element0 [symbolic_self = constants.%.Self.as_wit.iface0.72c] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self = constants.%impl.elem0.802] +// CHECK:STDOUT: %T.ref.loc12_45: type = name_ref T, %T.loc12_14.1 [symbolic = %T.loc12_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %.loc12_34: type = where_expr %.Self [symbolic = %Z_where.type (constants.%Z_where.type.bee)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0, %T.ref.loc12_45 +// CHECK:STDOUT: } +// CHECK:STDOUT: %T.loc12_14.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc12_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness.loc12: = impl_witness (%impl_witness_assoc_constant.loc12), @impl.44b(constants.%T.8b3) [symbolic = @impl.44b.%impl_witness (constants.%impl_witness.a9c)] +// CHECK:STDOUT: %impl_witness_assoc_constant.loc12: type = impl_witness_assoc_constant constants.%T.8b3 [symbolic = @impl.44b.%T.loc12_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] { +// CHECK:STDOUT: %T.patt.loc14_6.1: %Z.type.049 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc14_6.2 (constants.%T.patt.897)] +// CHECK:STDOUT: %t.patt: @F.%T.as_type.loc14_19.2 (%T.as_type) = binding_pattern t +// CHECK:STDOUT: %t.param_patt: @F.%T.as_type.loc14_19.2 (%T.as_type) = value_param_pattern %t.patt, call_param0 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %.loc14_13: type = splice_block %Z.type [concrete = constants.%Z.type.049] { +// CHECK:STDOUT: %Z.ref: %Z.type.9fb = name_ref Z, file.%Z.decl [concrete = constants.%Z.generic] +// CHECK:STDOUT: %C.ref: type = name_ref C, file.%C.decl [concrete = constants.%C] +// CHECK:STDOUT: %Z.type: type = facet_type <@Z, @Z(constants.%C)> [concrete = constants.%Z.type.049] +// CHECK:STDOUT: } +// CHECK:STDOUT: %T.loc14_6.1: %Z.type.049 = bind_symbolic_name T, 0 [symbolic = %T.loc14_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %t.param: @F.%T.as_type.loc14_19.2 (%T.as_type) = value_param call_param0 +// CHECK:STDOUT: %.loc14_19.1: type = splice_block %.loc14_19.2 [symbolic = %T.as_type.loc14_19.2 (constants.%T.as_type)] { +// CHECK:STDOUT: %T.ref.loc14: %Z.type.049 = name_ref T, %T.loc14_6.1 [symbolic = %T.loc14_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %T.as_type.loc14_19.1: type = facet_access_type %T.ref.loc14 [symbolic = %T.as_type.loc14_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc14_19.2: type = converted %T.ref.loc14, %T.as_type.loc14_19.1 [symbolic = %T.as_type.loc14_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %t: @F.%T.as_type.loc14_19.2 (%T.as_type) = bind_name t, %t.param +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic interface @Z(%T.loc3_13.1: type) { +// CHECK:STDOUT: %T.loc3_13.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc3_13.2 (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt.loc3_13.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc3_13.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Z.type: type = facet_type <@Z, @Z(%T.loc3_13.2)> [symbolic = %Z.type (constants.%Z.type.a61)] +// CHECK:STDOUT: %Self.2: @Z.%Z.type (%Z.type.a61) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.2bc)] +// CHECK:STDOUT: %Z.assoc_type: type = assoc_entity_type @Z, @Z(%T.loc3_13.2) [symbolic = %Z.assoc_type (constants.%Z.assoc_type.26e)] +// CHECK:STDOUT: %assoc0: @Z.%Z.assoc_type (%Z.assoc_type.26e) = assoc_entity element0, %X [symbolic = %assoc0 (constants.%assoc0.1cd)] +// CHECK:STDOUT: +// CHECK:STDOUT: interface { +// CHECK:STDOUT: %Self.1: @Z.%Z.type (%Z.type.a61) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.2bc)] +// CHECK:STDOUT: %X: type = assoc_const_decl @X [concrete] { +// CHECK:STDOUT: %assoc0: @Z.%Z.assoc_type (%Z.assoc_type.26e) = assoc_entity element0, @Z.%X [symbolic = @Z.%assoc0 (constants.%assoc0.1cd)] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self.1 +// CHECK:STDOUT: .X = @X.%assoc0 +// CHECK:STDOUT: witness = (%X) +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @Y { +// CHECK:STDOUT: %Self: %Y.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self.b29] +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self +// CHECK:STDOUT: witness = () +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic interface @ImplicitAs(imports.%Core.import_ref.5ab3ec.1: type) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %Dest.patt: type = symbolic_binding_pattern Dest, 0 [symbolic = %Dest.patt (constants.%Dest.patt)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.d62)] +// CHECK:STDOUT: %Self: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.d62) = bind_symbolic_name Self, 1 [symbolic = %Self (constants.%Self.519)] +// CHECK:STDOUT: %Convert.type: type = fn_type @Convert, @ImplicitAs(%Dest) [symbolic = %Convert.type (constants.%Convert.type.275)] +// CHECK:STDOUT: %Convert: @ImplicitAs.%Convert.type (%Convert.type.275) = struct_value () [symbolic = %Convert (constants.%Convert.42e)] +// CHECK:STDOUT: %ImplicitAs.assoc_type: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%Dest) [symbolic = %ImplicitAs.assoc_type (constants.%ImplicitAs.assoc_type.ca0)] +// CHECK:STDOUT: %assoc0: @ImplicitAs.%ImplicitAs.assoc_type (%ImplicitAs.assoc_type.ca0) = assoc_entity element0, imports.%Core.import_ref.1c7 [symbolic = %assoc0 (constants.%assoc0.9f5)] +// CHECK:STDOUT: +// CHECK:STDOUT: interface { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = imports.%Core.import_ref.ff5 +// CHECK:STDOUT: .Convert = imports.%Core.import_ref.492 +// CHECK:STDOUT: witness = (imports.%Core.Convert) +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @BitAnd [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = imports.%Core.import_ref.ad0 +// CHECK:STDOUT: .Op = imports.%Core.import_ref.02e +// CHECK:STDOUT: witness = (imports.%Core.Op) +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic assoc_const @X(@Z.%T.loc3_13.1: type, @Z.%Self.1: @Z.%Z.type (%Z.type.a61)) { +// CHECK:STDOUT: assoc_const X:! type; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.76d(%T.loc10_14.1: type, %S.loc10_24.1: type) { +// CHECK:STDOUT: %T.loc10_14.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc10_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt.loc10_14.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc10_14.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: %S.loc10_24.2: type = bind_symbolic_name S, 1 [symbolic = %S.loc10_24.2 (constants.%S)] +// CHECK:STDOUT: %S.patt.loc10_24.2: type = symbolic_binding_pattern S, 1 [symbolic = %S.patt.loc10_24.2 (constants.%S.patt)] +// CHECK:STDOUT: %Z.type.loc10_42.2: type = facet_type <@Z, @Z(%S.loc10_24.2)> [symbolic = %Z.type.loc10_42.2 (constants.%Z.type.8e9)] +// CHECK:STDOUT: %.Self.2: @impl.76d.%Z.type.loc10_42.2 (%Z.type.8e9) = bind_symbolic_name .Self [symbolic = %.Self.2 (constants.%.Self.eb1)] +// CHECK:STDOUT: %require_complete.loc10_50: = require_complete_type @impl.76d.%Z.type.loc10_42.2 (%Z.type.8e9) [symbolic = %require_complete.loc10_50 (constants.%require_complete.b87)] +// CHECK:STDOUT: %Z.assoc_type: type = assoc_entity_type @Z, @Z(%S.loc10_24.2) [symbolic = %Z.assoc_type (constants.%Z.assoc_type.0e7)] +// CHECK:STDOUT: %assoc0: @impl.76d.%Z.assoc_type (%Z.assoc_type.0e7) = assoc_entity element0, @Z.%X [symbolic = %assoc0 (constants.%assoc0.abb)] +// CHECK:STDOUT: %.Self.as_type.loc10_50.2: type = facet_access_type %.Self.2 [symbolic = %.Self.as_type.loc10_50.2 (constants.%.Self.as_type.ffd)] +// CHECK:STDOUT: %.Self.as_wit.iface0.loc10_50.2: = facet_access_witness %.Self.2, element0 [symbolic = %.Self.as_wit.iface0.loc10_50.2 (constants.%.Self.as_wit.iface0.178)] +// CHECK:STDOUT: %impl.elem0.loc10_50.2: type = impl_witness_access %.Self.as_wit.iface0.loc10_50.2, element0 [symbolic = %impl.elem0.loc10_50.2 (constants.%impl.elem0.a53)] +// CHECK:STDOUT: %Z_where.type: type = facet_type <@Z, @Z(%S.loc10_24.2) where %impl.elem0.loc10_50.2 = constants.%empty_tuple.type> [symbolic = %Z_where.type (constants.%Z_where.type.93a)] +// CHECK:STDOUT: %require_complete.loc10_44: = require_complete_type @impl.76d.%Z_where.type (%Z_where.type.93a) [symbolic = %require_complete.loc10_44 (constants.%require_complete.619)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant.loc10), @impl.76d(%T.loc10_14.2, %S.loc10_24.2) [symbolic = %impl_witness (constants.%impl_witness.dba)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %T.ref as %.loc10_44 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness.loc10 +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.44b(%T.loc12_14.1: type) { +// CHECK:STDOUT: %T.loc12_14.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc12_14.2 (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt.loc12_14.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc12_14.2 (constants.%T.patt.e01)] +// CHECK:STDOUT: %Z_where.type: type = facet_type <@Z, @Z(constants.%C) where constants.%impl.elem0.802 = %T.loc12_14.2> [symbolic = %Z_where.type (constants.%Z_where.type.bee)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.44b.%Z_where.type (%Z_where.type.bee) [symbolic = %require_complete (constants.%require_complete.13f)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant.loc12), @impl.44b(%T.loc12_14.2) [symbolic = %impl_witness (constants.%impl_witness.a9c)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %T.ref.loc12_24 as %.loc12_34 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness.loc12 +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.f92(imports.%Core.import_ref.5ab3ec.3: type) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt (constants.%T.patt.e01)] +// CHECK:STDOUT: %impl_witness: = impl_witness (imports.%Core.import_ref.bd4), @impl.f92(%T) [symbolic = %impl_witness (constants.%impl_witness.b81)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Op.type: type = fn_type @Op, @impl.f92(%T) [symbolic = %Op.type (constants.%Op.type)] +// CHECK:STDOUT: %Op: @impl.f92.%Op.type (%Op.type) = struct_value () [symbolic = %Op (constants.%Op)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.f92.%T (%T.8b3) [symbolic = %require_complete (constants.%require_complete.4ae)] +// CHECK:STDOUT: +// CHECK:STDOUT: impl: imports.%Core.import_ref.583 as imports.%Core.import_ref.9c1 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = imports.%Core.import_ref.f80 +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: class @C { +// CHECK:STDOUT: %complete_type: = complete_type_witness %empty_struct_type [concrete = constants.%complete_type] +// CHECK:STDOUT: complete_type_witness = %complete_type +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = constants.%C +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @F(%T.loc14_6.1: %Z.type.049) { +// CHECK:STDOUT: %T.loc14_6.2: %Z.type.049 = bind_symbolic_name T, 0 [symbolic = %T.loc14_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %T.patt.loc14_6.2: %Z.type.049 = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc14_6.2 (constants.%T.patt.897)] +// CHECK:STDOUT: %T.as_type.loc14_19.2: type = facet_access_type %T.loc14_6.2 [symbolic = %T.as_type.loc14_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %require_complete.loc14: = require_complete_type @F.%T.as_type.loc14_19.2 (%T.as_type) [symbolic = %require_complete.loc14 (constants.%require_complete.2b1)] +// CHECK:STDOUT: %T.as_wit.iface0.loc22_11.2: = facet_access_witness %T.loc14_6.2, element0 [symbolic = %T.as_wit.iface0.loc22_11.2 (constants.%T.as_wit.iface0)] +// CHECK:STDOUT: %impl.elem0.loc22_11.2: type = impl_witness_access %T.as_wit.iface0.loc22_11.2, element0 [symbolic = %impl.elem0.loc22_11.2 (constants.%impl.elem0.44a)] +// CHECK:STDOUT: %require_complete.loc22_11: = require_complete_type @F.%impl.elem0.loc22_11.2 (%impl.elem0.44a) [symbolic = %require_complete.loc22_11 (constants.%require_complete.b00)] +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%impl.elem0.loc22_11.2)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.fb2)] +// CHECK:STDOUT: %require_complete.loc22_16: = require_complete_type @F.%ImplicitAs.type (%ImplicitAs.type.fb2) [symbolic = %require_complete.loc22_16 (constants.%require_complete.462)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn(%T.patt.loc14_6.1: %Z.type.049, %t.param_patt: @F.%T.as_type.loc14_19.2 (%T.as_type)) { +// CHECK:STDOUT: !entry: +// CHECK:STDOUT: name_binding_decl { +// CHECK:STDOUT: %a.patt: @F.%impl.elem0.loc22_11.2 (%impl.elem0.44a) = binding_pattern a +// CHECK:STDOUT: } +// CHECK:STDOUT: %t.ref: @F.%T.as_type.loc14_19.2 (%T.as_type) = name_ref t, %t +// CHECK:STDOUT: %.loc22_11.1: type = splice_block %impl.elem0.loc22_11.1 [symbolic = %impl.elem0.loc22_11.2 (constants.%impl.elem0.44a)] { +// CHECK:STDOUT: %T.ref.loc22: %Z.type.049 = name_ref T, %T.loc14_6.1 [symbolic = %T.loc14_6.2 (constants.%T.62d)] +// CHECK:STDOUT: %.loc22_11.2: %Z.assoc_type.252 = specific_constant @X.%assoc0, @Z(constants.%C) [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %X.ref: %Z.assoc_type.252 = name_ref X, %.loc22_11.2 [concrete = constants.%assoc0.ea4] +// CHECK:STDOUT: %T.as_type.loc22: type = facet_access_type %T.ref.loc22 [symbolic = %T.as_type.loc14_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc22_11.3: type = converted %T.ref.loc22, %T.as_type.loc22 [symbolic = %T.as_type.loc14_19.2 (constants.%T.as_type)] +// CHECK:STDOUT: %T.as_wit.iface0.loc22_11.1: = facet_access_witness %T.ref.loc22, element0 [symbolic = %T.as_wit.iface0.loc22_11.2 (constants.%T.as_wit.iface0)] +// CHECK:STDOUT: %impl.elem0.loc22_11.1: type = impl_witness_access %T.as_wit.iface0.loc22_11.1, element0 [symbolic = %impl.elem0.loc22_11.2 (constants.%impl.elem0.44a)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %.loc22_16: @F.%impl.elem0.loc22_11.2 (%impl.elem0.44a) = converted %t.ref, [concrete = ] +// CHECK:STDOUT: %a: @F.%impl.elem0.loc22_11.2 (%impl.elem0.44a) = bind_name a, +// CHECK:STDOUT: return +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Convert(imports.%Core.import_ref.5ab3ec.2: type, imports.%Core.import_ref.ce1: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.d62)) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.d62)] +// CHECK:STDOUT: %Self: @Convert.%ImplicitAs.type (%ImplicitAs.type.d62) = bind_symbolic_name Self, 1 [symbolic = %Self (constants.%Self.519)] +// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic = %Self.as_type (constants.%Self.as_type)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Convert.%Self.as_type (%Self.as_type)]() -> @Convert.%Dest (%Dest); +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Op(imports.%Core.import_ref.5ab3ec.4: type) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T.8b3)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Op.%T (%T.8b3)](%other.param_patt: @Op.%T (%T.8b3)) -> @Op.%T (%T.8b3) = "type.and"; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(constants.%T.8b3) { +// CHECK:STDOUT: %T.loc3_13.2 => constants.%T.8b3 +// CHECK:STDOUT: %T.patt.loc3_13.2 => constants.%T.patt.e01 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%T.8b3, constants.%Self.2bc) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(%T.loc3_13.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(constants.%S) { +// CHECK:STDOUT: %T.loc3_13.2 => constants.%S +// CHECK:STDOUT: %T.patt.loc3_13.2 => constants.%T.patt.e01 +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Z.type => constants.%Z.type.8e9 +// CHECK:STDOUT: %Self.2 => constants.%Self.831 +// CHECK:STDOUT: %Z.assoc_type => constants.%Z.assoc_type.0e7 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.abb +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%S, constants.%Z.facet.868) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.76d(constants.%T.8b3, constants.%S) { +// CHECK:STDOUT: %T.loc10_14.2 => constants.%T.8b3 +// CHECK:STDOUT: %T.patt.loc10_14.2 => constants.%T.patt.e01 +// CHECK:STDOUT: %S.loc10_24.2 => constants.%S +// CHECK:STDOUT: %S.patt.loc10_24.2 => constants.%S.patt +// CHECK:STDOUT: %Z.type.loc10_42.2 => constants.%Z.type.8e9 +// CHECK:STDOUT: %.Self.2 => constants.%.Self.eb1 +// CHECK:STDOUT: %require_complete.loc10_50 => constants.%require_complete.b87 +// CHECK:STDOUT: %Z.assoc_type => constants.%Z.assoc_type.0e7 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.abb +// CHECK:STDOUT: %.Self.as_type.loc10_50.2 => constants.%.Self.as_type.ffd +// CHECK:STDOUT: %.Self.as_wit.iface0.loc10_50.2 => constants.%.Self.as_wit.iface0.178 +// CHECK:STDOUT: %impl.elem0.loc10_50.2 => constants.%impl.elem0.a53 +// CHECK:STDOUT: %Z_where.type => constants.%Z_where.type.93a +// CHECK:STDOUT: %require_complete.loc10_44 => constants.%require_complete.619 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.dba +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(@impl.76d.%S.loc10_24.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.76d(%T.loc10_14.2, %S.loc10_24.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Z(constants.%C) { +// CHECK:STDOUT: %T.loc3_13.2 => constants.%C +// CHECK:STDOUT: %T.patt.loc3_13.2 => constants.%T.patt.e01 +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Z.type => constants.%Z.type.049 +// CHECK:STDOUT: %Self.2 => constants.%Self.a38 +// CHECK:STDOUT: %Z.assoc_type => constants.%Z.assoc_type.252 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.ea4 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%C, constants.%Z.facet.375) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.44b(constants.%T.8b3) { +// CHECK:STDOUT: %T.loc12_14.2 => constants.%T.8b3 +// CHECK:STDOUT: %T.patt.loc12_14.2 => constants.%T.patt.e01 +// CHECK:STDOUT: %Z_where.type => constants.%Z_where.type.bee +// CHECK:STDOUT: %require_complete => constants.%require_complete.13f +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.a9c +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.44b(%T.loc12_14.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @F(constants.%T.62d) { +// CHECK:STDOUT: %T.loc14_6.2 => constants.%T.62d +// CHECK:STDOUT: %T.patt.loc14_6.2 => constants.%T.patt.897 +// CHECK:STDOUT: %T.as_type.loc14_19.2 => constants.%T.as_type +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @X(constants.%C, constants.%Z.facet.c2f) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(constants.%Dest) { +// CHECK:STDOUT: %Dest => constants.%Dest +// CHECK:STDOUT: %Dest.patt => constants.%Dest.patt +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(%Dest) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(@Convert.%Dest) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Convert(constants.%Dest, constants.%Self.519) { +// CHECK:STDOUT: %Dest => constants.%Dest +// CHECK:STDOUT: %ImplicitAs.type => constants.%ImplicitAs.type.d62 +// CHECK:STDOUT: %Self => constants.%Self.519 +// CHECK:STDOUT: %Self.as_type => constants.%Self.as_type +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(constants.%impl.elem0.44a) { +// CHECK:STDOUT: %Dest => constants.%impl.elem0.44a +// CHECK:STDOUT: %Dest.patt => constants.%Dest.patt +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %ImplicitAs.type => constants.%ImplicitAs.type.fb2 +// CHECK:STDOUT: %Self => constants.%Self.643 +// CHECK:STDOUT: %Convert.type => constants.%Convert.type.6ea +// CHECK:STDOUT: %Convert => constants.%Convert.d0b +// CHECK:STDOUT: %ImplicitAs.assoc_type => constants.%ImplicitAs.assoc_type.40d +// CHECK:STDOUT: %assoc0 => constants.%assoc0.763 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.f92(constants.%T.8b3) { +// CHECK:STDOUT: %T => constants.%T.8b3 +// CHECK:STDOUT: %T.patt => constants.%T.patt.e01 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.b81 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.f92(%T) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Op(constants.%T.8b3) { +// CHECK:STDOUT: %T => constants.%T.8b3 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(@F.%impl.elem0.loc22_11.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: --- final_impl_rewrite_of_symbolic_through_impl_witness.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %Ptr.type: type = facet_type <@Ptr> [concrete] +// CHECK:STDOUT: %Self: %Ptr.type = bind_symbolic_name Self, 0 [symbolic] +// CHECK:STDOUT: %Ptr.assoc_type: type = assoc_entity_type @Ptr [concrete] +// CHECK:STDOUT: %assoc0: %Ptr.assoc_type = assoc_entity element0, @Ptr.%Type [concrete] +// CHECK:STDOUT: %U: type = bind_symbolic_name U, 0 [symbolic] +// CHECK:STDOUT: %U.patt: type = symbolic_binding_pattern U, 0 [symbolic] +// CHECK:STDOUT: %.Self: %Ptr.type = bind_symbolic_name .Self [symbolic_self] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self [symbolic_self] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self, element0 [symbolic_self] +// CHECK:STDOUT: %Ptr.facet.879: %Ptr.type = facet_value %.Self.as_type, (%.Self.as_wit.iface0) [symbolic_self] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self] +// CHECK:STDOUT: %ptr.79f131.1: type = ptr_type %U [symbolic] +// CHECK:STDOUT: %Ptr_where.type.d906c9.1: type = facet_type <@Ptr where %impl.elem0 = %ptr.79f131.1> [symbolic] +// CHECK:STDOUT: %require_complete.0dd5ec.1: = require_complete_type %Ptr_where.type.d906c9.1 [symbolic] +// CHECK:STDOUT: %impl_witness.4de5dc.1: = impl_witness (file.%impl_witness_assoc_constant), @impl(%U) [symbolic] +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt: type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %ptr.79f131.2: type = ptr_type %T [symbolic] +// CHECK:STDOUT: %Ptr_where.type.d906c9.2: type = facet_type <@Ptr where %impl.elem0 = %ptr.79f131.2> [symbolic] +// CHECK:STDOUT: %require_complete.0dd5ec.2: = require_complete_type %Ptr_where.type.d906c9.2 [symbolic] +// CHECK:STDOUT: %impl_witness.4de5dc.2: = impl_witness (file.%impl_witness_assoc_constant), @impl(%T) [symbolic] +// CHECK:STDOUT: %Ptr.facet.55b: %Ptr.type = facet_value %T, (%impl_witness.4de5dc.2) [symbolic] +// CHECK:STDOUT: %F.type: type = fn_type @F [concrete] +// CHECK:STDOUT: %F: %F.type = struct_value () [concrete] +// CHECK:STDOUT: %require_complete.6e5: = require_complete_type %ptr.79f131.2 [symbolic] +// CHECK:STDOUT: %require_complete.4ae: = require_complete_type %T [symbolic] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: imports { +// CHECK:STDOUT: %Core: = namespace file.%Core.import, [concrete] { +// CHECK:STDOUT: import Core//prelude +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: file { +// CHECK:STDOUT: package: = namespace [concrete] { +// CHECK:STDOUT: .Core = imports.%Core +// CHECK:STDOUT: .Ptr = %Ptr.decl +// CHECK:STDOUT: .F = %F.decl +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import = import Core +// CHECK:STDOUT: %Ptr.decl: type = interface_decl @Ptr [concrete = constants.%Ptr.type] {} {} +// CHECK:STDOUT: impl_decl @impl [concrete] { +// CHECK:STDOUT: %U.patt.loc7_20.1: type = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc7_20.2 (constants.%U.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %U.ref.loc7_30: type = name_ref U, %U.loc7_20.1 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %Ptr.ref: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %.Self: %Ptr.type = bind_symbolic_name .Self [symbolic_self = constants.%.Self] +// CHECK:STDOUT: %.Self.ref: %Ptr.type = name_ref .Self, %.Self [symbolic_self = constants.%.Self] +// CHECK:STDOUT: %Type.ref: %Ptr.assoc_type = name_ref Type, @Type.%assoc0 [concrete = constants.%assoc0] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self.ref [symbolic_self = constants.%.Self.as_type] +// CHECK:STDOUT: %.loc7_45: type = converted %.Self.ref, %.Self.as_type [symbolic_self = constants.%.Self.as_type] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self.ref, element0 [symbolic_self = constants.%.Self.as_wit.iface0] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self = constants.%impl.elem0] +// CHECK:STDOUT: %U.ref.loc7_53: type = name_ref U, %U.loc7_20.1 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %ptr.loc7_54.1: type = ptr_type %U.ref.loc7_53 [symbolic = %ptr.loc7_54.2 (constants.%ptr.79f131.1)] +// CHECK:STDOUT: %.loc7_39: type = where_expr %.Self [symbolic = %Ptr_where.type (constants.%Ptr_where.type.d906c9.1)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0, %ptr.loc7_54.1 +// CHECK:STDOUT: } +// CHECK:STDOUT: %U.loc7_20.1: type = bind_symbolic_name U, 0 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness: = impl_witness (%impl_witness_assoc_constant), @impl(constants.%U) [symbolic = @impl.%impl_witness (constants.%impl_witness.4de5dc.1)] +// CHECK:STDOUT: %impl_witness_assoc_constant: type = impl_witness_assoc_constant constants.%ptr.79f131.1 [symbolic = @impl.%ptr.loc7_54.2 (constants.%ptr.79f131.1)] +// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] { +// CHECK:STDOUT: %T.patt.loc9_6.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_6.2 (constants.%T.patt)] +// CHECK:STDOUT: %t.patt: @F.%T.loc9_6.2 (%T) = binding_pattern t +// CHECK:STDOUT: %t.param_patt: @F.%T.loc9_6.2 (%T) = ref_param_pattern %t.patt, call_param0 +// CHECK:STDOUT: %.loc9_16: @F.%T.loc9_6.2 (%T) = var_pattern %t.param_patt +// CHECK:STDOUT: %return.patt: @F.%ptr (%ptr.79f131.2) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @F.%ptr (%ptr.79f131.2) = out_param_pattern %return.patt, call_param1 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref.loc9_29: type = name_ref T, %T.loc9_6.1 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %Ptr.ref: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %Type.ref: %Ptr.assoc_type = name_ref Type, @Type.%assoc0 [concrete = constants.%assoc0] +// CHECK:STDOUT: %Ptr.facet.loc9_30.1: %Ptr.type = facet_value constants.%T, (constants.%impl_witness.4de5dc.2) [symbolic = %Ptr.facet.loc9_30.2 (constants.%Ptr.facet.55b)] +// CHECK:STDOUT: %.loc9_30: %Ptr.type = converted %T.ref.loc9_29, %Ptr.facet.loc9_30.1 [symbolic = %Ptr.facet.loc9_30.2 (constants.%Ptr.facet.55b)] +// CHECK:STDOUT: %as_wit.iface0: = facet_access_witness %.loc9_30, element0 [symbolic = %impl_witness (constants.%impl_witness.4de5dc.2)] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %as_wit.iface0, element0 [symbolic = %ptr (constants.%ptr.79f131.2)] +// CHECK:STDOUT: %T.loc9_6.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %t.param: ref @F.%T.loc9_6.2 (%T) = ref_param call_param0 +// CHECK:STDOUT: %T.ref.loc9_23: type = name_ref T, %T.loc9_6.1 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %t: ref @F.%T.loc9_6.2 (%T) = bind_name t, %t.param +// CHECK:STDOUT: %return.param: ref @F.%ptr (%ptr.79f131.2) = out_param call_param1 +// CHECK:STDOUT: %return: ref @F.%ptr (%ptr.79f131.2) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @Ptr { +// CHECK:STDOUT: %Self: %Ptr.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self] +// CHECK:STDOUT: %Type: type = assoc_const_decl @Type [concrete] { +// CHECK:STDOUT: %assoc0: %Ptr.assoc_type = assoc_entity element0, @Ptr.%Type [concrete = constants.%assoc0] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self +// CHECK:STDOUT: .Type = @Type.%assoc0 +// CHECK:STDOUT: witness = (%Type) +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic assoc_const @Type(@Ptr.%Self: %Ptr.type) { +// CHECK:STDOUT: assoc_const Type:! type; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl(%U.loc7_20.1: type) { +// CHECK:STDOUT: %U.loc7_20.2: type = bind_symbolic_name U, 0 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %U.patt.loc7_20.2: type = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc7_20.2 (constants.%U.patt)] +// CHECK:STDOUT: %ptr.loc7_54.2: type = ptr_type %U.loc7_20.2 [symbolic = %ptr.loc7_54.2 (constants.%ptr.79f131.1)] +// CHECK:STDOUT: %Ptr_where.type: type = facet_type <@Ptr where constants.%impl.elem0 = %ptr.loc7_54.2> [symbolic = %Ptr_where.type (constants.%Ptr_where.type.d906c9.1)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.%Ptr_where.type (%Ptr_where.type.d906c9.1) [symbolic = %require_complete (constants.%require_complete.0dd5ec.1)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant), @impl(%U.loc7_20.2) [symbolic = %impl_witness (constants.%impl_witness.4de5dc.1)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %U.ref.loc7_30 as %.loc7_39 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @F(%T.loc9_6.1: type) { +// CHECK:STDOUT: %T.loc9_6.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %T.patt.loc9_6.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_6.2 (constants.%T.patt)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant), @impl(%T.loc9_6.2) [symbolic = %impl_witness (constants.%impl_witness.4de5dc.2)] +// CHECK:STDOUT: %Ptr.facet.loc9_30.2: %Ptr.type = facet_value %T.loc9_6.2, (%impl_witness) [symbolic = %Ptr.facet.loc9_30.2 (constants.%Ptr.facet.55b)] +// CHECK:STDOUT: %ptr: type = ptr_type %T.loc9_6.2 [symbolic = %ptr (constants.%ptr.79f131.2)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %require_complete.loc9_26: = require_complete_type @F.%ptr (%ptr.79f131.2) [symbolic = %require_complete.loc9_26 (constants.%require_complete.6e5)] +// CHECK:STDOUT: %require_complete.loc9_16: = require_complete_type @F.%T.loc9_6.2 (%T) [symbolic = %require_complete.loc9_16 (constants.%require_complete.4ae)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%T.patt.loc9_6.1: type](%.loc9_16: @F.%T.loc9_6.2 (%T)) -> @F.%ptr (%ptr.79f131.2) { +// CHECK:STDOUT: !entry: +// CHECK:STDOUT: %t.ref: ref @F.%T.loc9_6.2 (%T) = name_ref t, %t +// CHECK:STDOUT: %addr: @F.%ptr (%ptr.79f131.2) = addr_of %t.ref +// CHECK:STDOUT: return %addr +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Self) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Ptr.facet.879) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(constants.%U) { +// CHECK:STDOUT: %U.loc7_20.2 => constants.%U +// CHECK:STDOUT: %U.patt.loc7_20.2 => constants.%U.patt +// CHECK:STDOUT: %ptr.loc7_54.2 => constants.%ptr.79f131.1 +// CHECK:STDOUT: %Ptr_where.type => constants.%Ptr_where.type.d906c9.1 +// CHECK:STDOUT: %require_complete => constants.%require_complete.0dd5ec.1 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.4de5dc.1 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(%U.loc7_20.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(constants.%T) { +// CHECK:STDOUT: %U.loc7_20.2 => constants.%T +// CHECK:STDOUT: %U.patt.loc7_20.2 => constants.%U.patt +// CHECK:STDOUT: %ptr.loc7_54.2 => constants.%ptr.79f131.2 +// CHECK:STDOUT: %Ptr_where.type => constants.%Ptr_where.type.d906c9.2 +// CHECK:STDOUT: %require_complete => constants.%require_complete.0dd5ec.2 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.4de5dc.2 +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Ptr.facet.55b) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @F(constants.%T) { +// CHECK:STDOUT: %T.loc9_6.2 => constants.%T +// CHECK:STDOUT: %T.patt.loc9_6.2 => constants.%T.patt +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.4de5dc.2 +// CHECK:STDOUT: %Ptr.facet.loc9_30.2 => constants.%Ptr.facet.55b +// CHECK:STDOUT: %ptr => constants.%ptr.79f131.2 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(@F.%T.loc9_6.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: --- final_impl_rewrite_of_symbolic_through_facet_access_type.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %Ptr.type: type = facet_type <@Ptr> [concrete] +// CHECK:STDOUT: %Self: %Ptr.type = bind_symbolic_name Self, 0 [symbolic] +// CHECK:STDOUT: %Ptr.assoc_type: type = assoc_entity_type @Ptr [concrete] +// CHECK:STDOUT: %assoc0: %Ptr.assoc_type = assoc_entity element0, @Ptr.%Type [concrete] +// CHECK:STDOUT: %U: type = bind_symbolic_name U, 0 [symbolic] +// CHECK:STDOUT: %U.patt: type = symbolic_binding_pattern U, 0 [symbolic] +// CHECK:STDOUT: %.Self: %Ptr.type = bind_symbolic_name .Self [symbolic_self] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self [symbolic_self] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self, element0 [symbolic_self] +// CHECK:STDOUT: %Ptr.facet.879: %Ptr.type = facet_value %.Self.as_type, (%.Self.as_wit.iface0) [symbolic_self] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self] +// CHECK:STDOUT: %ptr.79f: type = ptr_type %U [symbolic] +// CHECK:STDOUT: %Ptr_where.type.d90: type = facet_type <@Ptr where %impl.elem0 = %ptr.79f> [symbolic] +// CHECK:STDOUT: %require_complete.0dd: = require_complete_type %Ptr_where.type.d90 [symbolic] +// CHECK:STDOUT: %impl_witness.4de: = impl_witness (file.%impl_witness_assoc_constant), @impl(%U) [symbolic] +// CHECK:STDOUT: %T: %Ptr.type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt: %Ptr.type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %T.as_type: type = facet_access_type %T [symbolic] +// CHECK:STDOUT: %ptr.900: type = ptr_type %T.as_type [symbolic] +// CHECK:STDOUT: %Ptr_where.type.a9b: type = facet_type <@Ptr where %impl.elem0 = %ptr.900> [symbolic] +// CHECK:STDOUT: %require_complete.a17: = require_complete_type %Ptr_where.type.a9b [symbolic] +// CHECK:STDOUT: %impl_witness.780: = impl_witness (file.%impl_witness_assoc_constant), @impl(%T.as_type) [symbolic] +// CHECK:STDOUT: %Ptr.facet.7fd: %Ptr.type = facet_value %T.as_type, (%impl_witness.780) [symbolic] +// CHECK:STDOUT: %F.type: type = fn_type @F [concrete] +// CHECK:STDOUT: %F: %F.type = struct_value () [concrete] +// CHECK:STDOUT: %require_complete.df6: = require_complete_type %ptr.900 [symbolic] +// CHECK:STDOUT: %require_complete.020: = require_complete_type %T.as_type [symbolic] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: imports { +// CHECK:STDOUT: %Core: = namespace file.%Core.import, [concrete] { +// CHECK:STDOUT: import Core//prelude +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: file { +// CHECK:STDOUT: package: = namespace [concrete] { +// CHECK:STDOUT: .Core = imports.%Core +// CHECK:STDOUT: .Ptr = %Ptr.decl +// CHECK:STDOUT: .F = %F.decl +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import = import Core +// CHECK:STDOUT: %Ptr.decl: type = interface_decl @Ptr [concrete = constants.%Ptr.type] {} {} +// CHECK:STDOUT: impl_decl @impl [concrete] { +// CHECK:STDOUT: %U.patt.loc7_20.1: type = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc7_20.2 (constants.%U.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %U.ref.loc7_30: type = name_ref U, %U.loc7_20.1 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %Ptr.ref: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %.Self: %Ptr.type = bind_symbolic_name .Self [symbolic_self = constants.%.Self] +// CHECK:STDOUT: %.Self.ref: %Ptr.type = name_ref .Self, %.Self [symbolic_self = constants.%.Self] +// CHECK:STDOUT: %Type.ref: %Ptr.assoc_type = name_ref Type, @Type.%assoc0 [concrete = constants.%assoc0] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self.ref [symbolic_self = constants.%.Self.as_type] +// CHECK:STDOUT: %.loc7_45: type = converted %.Self.ref, %.Self.as_type [symbolic_self = constants.%.Self.as_type] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self.ref, element0 [symbolic_self = constants.%.Self.as_wit.iface0] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self = constants.%impl.elem0] +// CHECK:STDOUT: %U.ref.loc7_53: type = name_ref U, %U.loc7_20.1 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %ptr.loc7_54.1: type = ptr_type %U.ref.loc7_53 [symbolic = %ptr.loc7_54.2 (constants.%ptr.79f)] +// CHECK:STDOUT: %.loc7_39: type = where_expr %.Self [symbolic = %Ptr_where.type (constants.%Ptr_where.type.d90)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0, %ptr.loc7_54.1 +// CHECK:STDOUT: } +// CHECK:STDOUT: %U.loc7_20.1: type = bind_symbolic_name U, 0 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness: = impl_witness (%impl_witness_assoc_constant), @impl(constants.%U) [symbolic = @impl.%impl_witness (constants.%impl_witness.4de)] +// CHECK:STDOUT: %impl_witness_assoc_constant: type = impl_witness_assoc_constant constants.%ptr.79f [symbolic = @impl.%ptr.loc7_54.2 (constants.%ptr.79f)] +// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] { +// CHECK:STDOUT: %T.patt.loc9_6.1: %Ptr.type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_6.2 (constants.%T.patt)] +// CHECK:STDOUT: %t.patt: @F.%T.as_type.loc9_22.2 (%T.as_type) = binding_pattern t +// CHECK:STDOUT: %t.param_patt: @F.%T.as_type.loc9_22.2 (%T.as_type) = ref_param_pattern %t.patt, call_param0 +// CHECK:STDOUT: %.loc9_15: @F.%T.as_type.loc9_22.2 (%T.as_type) = var_pattern %t.param_patt +// CHECK:STDOUT: %return.patt: @F.%ptr (%ptr.900) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @F.%ptr (%ptr.900) = out_param_pattern %return.patt, call_param1 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref.loc9_28: %Ptr.type = name_ref T, %T.loc9_6.1 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %Type.ref: %Ptr.assoc_type = name_ref Type, @Type.%assoc0 [concrete = constants.%assoc0] +// CHECK:STDOUT: %T.as_type.loc9_29.1: type = facet_access_type %T.ref.loc9_28 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc9_29.1: type = converted %T.ref.loc9_28, %T.as_type.loc9_29.1 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %T.as_type.loc9_29.2: type = facet_access_type constants.%T [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc9_29.2: type = converted constants.%T, %T.as_type.loc9_29.2 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access constants.%impl_witness.780, element0 [symbolic = %ptr (constants.%ptr.900)] +// CHECK:STDOUT: %Ptr.ref: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %T.loc9_6.1: %Ptr.type = bind_symbolic_name T, 0 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %t.param: ref @F.%T.as_type.loc9_22.2 (%T.as_type) = ref_param call_param0 +// CHECK:STDOUT: %.loc9_22.1: type = splice_block %.loc9_22.2 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] { +// CHECK:STDOUT: %T.ref.loc9_22: %Ptr.type = name_ref T, %T.loc9_6.1 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %T.as_type.loc9_22.1: type = facet_access_type %T.ref.loc9_22 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc9_22.2: type = converted %T.ref.loc9_22, %T.as_type.loc9_22.1 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %t: ref @F.%T.as_type.loc9_22.2 (%T.as_type) = bind_name t, %t.param +// CHECK:STDOUT: %return.param: ref @F.%ptr (%ptr.900) = out_param call_param1 +// CHECK:STDOUT: %return: ref @F.%ptr (%ptr.900) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @Ptr { +// CHECK:STDOUT: %Self: %Ptr.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self] +// CHECK:STDOUT: %Type: type = assoc_const_decl @Type [concrete] { +// CHECK:STDOUT: %assoc0: %Ptr.assoc_type = assoc_entity element0, @Ptr.%Type [concrete = constants.%assoc0] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self +// CHECK:STDOUT: .Type = @Type.%assoc0 +// CHECK:STDOUT: witness = (%Type) +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic assoc_const @Type(@Ptr.%Self: %Ptr.type) { +// CHECK:STDOUT: assoc_const Type:! type; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl(%U.loc7_20.1: type) { +// CHECK:STDOUT: %U.loc7_20.2: type = bind_symbolic_name U, 0 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %U.patt.loc7_20.2: type = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc7_20.2 (constants.%U.patt)] +// CHECK:STDOUT: %ptr.loc7_54.2: type = ptr_type %U.loc7_20.2 [symbolic = %ptr.loc7_54.2 (constants.%ptr.79f)] +// CHECK:STDOUT: %Ptr_where.type: type = facet_type <@Ptr where constants.%impl.elem0 = %ptr.loc7_54.2> [symbolic = %Ptr_where.type (constants.%Ptr_where.type.d90)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.%Ptr_where.type (%Ptr_where.type.d90) [symbolic = %require_complete (constants.%require_complete.0dd)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant), @impl(%U.loc7_20.2) [symbolic = %impl_witness (constants.%impl_witness.4de)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %U.ref.loc7_30 as %.loc7_39 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @F(%T.loc9_6.1: %Ptr.type) { +// CHECK:STDOUT: %T.loc9_6.2: %Ptr.type = bind_symbolic_name T, 0 [symbolic = %T.loc9_6.2 (constants.%T)] +// CHECK:STDOUT: %T.patt.loc9_6.2: %Ptr.type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_6.2 (constants.%T.patt)] +// CHECK:STDOUT: %T.as_type.loc9_22.2: type = facet_access_type %T.loc9_6.2 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %ptr: type = ptr_type %T.as_type.loc9_22.2 [symbolic = %ptr (constants.%ptr.900)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %require_complete.loc9_25: = require_complete_type @F.%ptr (%ptr.900) [symbolic = %require_complete.loc9_25 (constants.%require_complete.df6)] +// CHECK:STDOUT: %require_complete.loc9_15: = require_complete_type @F.%T.as_type.loc9_22.2 (%T.as_type) [symbolic = %require_complete.loc9_15 (constants.%require_complete.020)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%T.patt.loc9_6.1: %Ptr.type](%.loc9_15: @F.%T.as_type.loc9_22.2 (%T.as_type)) -> @F.%ptr (%ptr.900) { +// CHECK:STDOUT: !entry: +// CHECK:STDOUT: %t.ref: ref @F.%T.as_type.loc9_22.2 (%T.as_type) = name_ref t, %t +// CHECK:STDOUT: %addr: @F.%ptr (%ptr.900) = addr_of %t.ref +// CHECK:STDOUT: return %addr +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Self) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Ptr.facet.879) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(constants.%U) { +// CHECK:STDOUT: %U.loc7_20.2 => constants.%U +// CHECK:STDOUT: %U.patt.loc7_20.2 => constants.%U.patt +// CHECK:STDOUT: %ptr.loc7_54.2 => constants.%ptr.79f +// CHECK:STDOUT: %Ptr_where.type => constants.%Ptr_where.type.d90 +// CHECK:STDOUT: %require_complete => constants.%require_complete.0dd +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.4de +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(%U.loc7_20.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(constants.%T.as_type) { +// CHECK:STDOUT: %U.loc7_20.2 => constants.%T.as_type +// CHECK:STDOUT: %U.patt.loc7_20.2 => constants.%U.patt +// CHECK:STDOUT: %ptr.loc7_54.2 => constants.%ptr.900 +// CHECK:STDOUT: %Ptr_where.type => constants.%Ptr_where.type.a9b +// CHECK:STDOUT: %require_complete => constants.%require_complete.a17 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.780 +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Ptr.facet.7fd) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @F(constants.%T) { +// CHECK:STDOUT: %T.loc9_6.2 => constants.%T +// CHECK:STDOUT: %T.patt.loc9_6.2 => constants.%T.patt +// CHECK:STDOUT: %T.as_type.loc9_22.2 => constants.%T.as_type +// CHECK:STDOUT: %ptr => constants.%ptr.900 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: --- fail_todo_final_impl_rewrite_of_symbolic_through_facet_access_witness.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %Ptr.type: type = facet_type <@Ptr> [concrete] +// CHECK:STDOUT: %Self.972: %Ptr.type = bind_symbolic_name Self, 0 [symbolic] +// CHECK:STDOUT: %Ptr.assoc_type: type = assoc_entity_type @Ptr [concrete] +// CHECK:STDOUT: %assoc0.d28: %Ptr.assoc_type = assoc_entity element0, @Ptr.%Type [concrete] +// CHECK:STDOUT: %U: type = bind_symbolic_name U, 0 [symbolic] +// CHECK:STDOUT: %U.patt: type = symbolic_binding_pattern U, 0 [symbolic] +// CHECK:STDOUT: %.Self: %Ptr.type = bind_symbolic_name .Self [symbolic_self] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self [symbolic_self] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self, element0 [symbolic_self] +// CHECK:STDOUT: %Ptr.facet.879: %Ptr.type = facet_value %.Self.as_type, (%.Self.as_wit.iface0) [symbolic_self] +// CHECK:STDOUT: %impl.elem0.dff: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self] +// CHECK:STDOUT: %ptr.79f: type = ptr_type %U [symbolic] +// CHECK:STDOUT: %Ptr_where.type: type = facet_type <@Ptr where %impl.elem0.dff = %ptr.79f> [symbolic] +// CHECK:STDOUT: %require_complete.0dd: = require_complete_type %Ptr_where.type [symbolic] +// CHECK:STDOUT: %impl_witness.4de: = impl_witness (file.%impl_witness_assoc_constant), @impl.a8e(%U) [symbolic] +// CHECK:STDOUT: %T.972: %Ptr.type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt.0a1: %Ptr.type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %T.as_type: type = facet_access_type %T.972 [symbolic] +// CHECK:STDOUT: %T.as_wit.iface0: = facet_access_witness %T.972, element0 [symbolic] +// CHECK:STDOUT: %Ptr.facet.7ad: %Ptr.type = facet_value %T.as_type, (%T.as_wit.iface0) [symbolic] +// CHECK:STDOUT: %impl.elem0.9f2: type = impl_witness_access %T.as_wit.iface0, element0 [symbolic] +// CHECK:STDOUT: %F.type: type = fn_type @F [concrete] +// CHECK:STDOUT: %F: %F.type = struct_value () [concrete] +// CHECK:STDOUT: %require_complete.357: = require_complete_type %impl.elem0.9f2 [symbolic] +// CHECK:STDOUT: %require_complete.020: = require_complete_type %T.as_type [symbolic] +// CHECK:STDOUT: %ptr.900: type = ptr_type %T.as_type [symbolic] +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic] +// CHECK:STDOUT: %ImplicitAs.type.d62: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic] +// CHECK:STDOUT: %Self.519: %ImplicitAs.type.d62 = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Dest.patt: type = symbolic_binding_pattern Dest, 0 [symbolic] +// CHECK:STDOUT: %Convert.type.275: type = fn_type @Convert, @ImplicitAs(%Dest) [symbolic] +// CHECK:STDOUT: %Convert.42e: %Convert.type.275 = struct_value () [symbolic] +// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self.519 [symbolic] +// CHECK:STDOUT: %ImplicitAs.assoc_type.ca0: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%Dest) [symbolic] +// CHECK:STDOUT: %assoc0.9f5: %ImplicitAs.assoc_type.ca0 = assoc_entity element0, imports.%Core.import_ref.1c7 [symbolic] +// CHECK:STDOUT: %ImplicitAs.type.73f: type = facet_type <@ImplicitAs, @ImplicitAs(%impl.elem0.9f2)> [symbolic] +// CHECK:STDOUT: %Self.20d: %ImplicitAs.type.73f = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Convert.type.c52: type = fn_type @Convert, @ImplicitAs(%impl.elem0.9f2) [symbolic] +// CHECK:STDOUT: %Convert.c34: %Convert.type.c52 = struct_value () [symbolic] +// CHECK:STDOUT: %ImplicitAs.assoc_type.3d1: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%impl.elem0.9f2) [symbolic] +// CHECK:STDOUT: %assoc0.802: %ImplicitAs.assoc_type.3d1 = assoc_entity element0, imports.%Core.import_ref.1c7 [symbolic] +// CHECK:STDOUT: %require_complete.5f0: = require_complete_type %ImplicitAs.type.73f [symbolic] +// CHECK:STDOUT: %assoc0.dc0: %ImplicitAs.assoc_type.ca0 = assoc_entity element0, imports.%Core.import_ref.207 [symbolic] +// CHECK:STDOUT: %BitAnd.type: type = facet_type <@BitAnd> [concrete] +// CHECK:STDOUT: %T.8b3: type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt.e01: type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %impl_witness.b81: = impl_witness (imports.%Core.import_ref.bd4), @impl.f92(%T.8b3) [symbolic] +// CHECK:STDOUT: %Op.type: type = fn_type @Op, @impl.f92(%T.8b3) [symbolic] +// CHECK:STDOUT: %Op: %Op.type = struct_value () [symbolic] +// CHECK:STDOUT: %require_complete.4ae: = require_complete_type %T.8b3 [symbolic] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: imports { +// CHECK:STDOUT: %Core: = namespace file.%Core.import, [concrete] { +// CHECK:STDOUT: .ImplicitAs = %Core.ImplicitAs +// CHECK:STDOUT: import Core//prelude +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import_ref.5ab3ec.1: type = import_ref Core//prelude, loc13_22, loaded [symbolic = @ImplicitAs.%Dest (constants.%Dest)] +// CHECK:STDOUT: %Core.import_ref.ff5 = import_ref Core//prelude, inst67 [no loc], unloaded +// CHECK:STDOUT: %Core.import_ref.492: @ImplicitAs.%ImplicitAs.assoc_type (%ImplicitAs.assoc_type.ca0) = import_ref Core//prelude, loc14_35, loaded [symbolic = @ImplicitAs.%assoc0 (constants.%assoc0.dc0)] +// CHECK:STDOUT: %Core.Convert = import_ref Core//prelude, Convert, unloaded +// CHECK:STDOUT: %Core.import_ref.5ab3ec.2: type = import_ref Core//prelude, loc13_22, loaded [symbolic = @ImplicitAs.%Dest (constants.%Dest)] +// CHECK:STDOUT: %Core.import_ref.ce1: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.d62) = import_ref Core//prelude, inst67 [no loc], loaded [symbolic = @ImplicitAs.%Self (constants.%Self.519)] +// CHECK:STDOUT: %Core.import_ref.1c7: @ImplicitAs.%Convert.type (%Convert.type.275) = import_ref Core//prelude, loc14_35, loaded [symbolic = @ImplicitAs.%Convert (constants.%Convert.42e)] +// CHECK:STDOUT: %Core.import_ref.ad0 = import_ref Core//prelude, inst102 [no loc], unloaded +// CHECK:STDOUT: %Core.import_ref.02e = import_ref Core//prelude, loc18_41, unloaded +// CHECK:STDOUT: %Core.Op = import_ref Core//prelude, Op, unloaded +// CHECK:STDOUT: %Core.import_ref.f80 = import_ref Core//prelude, loc21_36, unloaded +// CHECK:STDOUT: %Core.import_ref.5ab3ec.3: type = import_ref Core//prelude, loc21_14, loaded [symbolic = @impl.f92.%T (constants.%T.8b3)] +// CHECK:STDOUT: %Core.import_ref.583: type = import_ref Core//prelude, loc21_24, loaded [symbolic = @impl.f92.%T (constants.%T.8b3)] +// CHECK:STDOUT: %Core.import_ref.9c1: type = import_ref Core//prelude, loc21_29, loaded [concrete = constants.%BitAnd.type] +// CHECK:STDOUT: %Core.import_ref.bd4 = import_ref Core//prelude, loc22_42, unloaded +// CHECK:STDOUT: %Core.import_ref.5ab3ec.4: type = import_ref Core//prelude, loc21_14, loaded [symbolic = @impl.f92.%T (constants.%T.8b3)] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: file { +// CHECK:STDOUT: package: = namespace [concrete] { +// CHECK:STDOUT: .Core = imports.%Core +// CHECK:STDOUT: .Ptr = %Ptr.decl +// CHECK:STDOUT: .F = %F.decl +// CHECK:STDOUT: } +// CHECK:STDOUT: %Core.import = import Core +// CHECK:STDOUT: %Ptr.decl: type = interface_decl @Ptr [concrete = constants.%Ptr.type] {} {} +// CHECK:STDOUT: impl_decl @impl.a8e [concrete] { +// CHECK:STDOUT: %U.patt.loc7_20.1: type = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc7_20.2 (constants.%U.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %U.ref.loc7_30: type = name_ref U, %U.loc7_20.1 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %Ptr.ref: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %.Self: %Ptr.type = bind_symbolic_name .Self [symbolic_self = constants.%.Self] +// CHECK:STDOUT: %.Self.ref: %Ptr.type = name_ref .Self, %.Self [symbolic_self = constants.%.Self] +// CHECK:STDOUT: %Type.ref: %Ptr.assoc_type = name_ref Type, @Type.%assoc0 [concrete = constants.%assoc0.d28] +// CHECK:STDOUT: %.Self.as_type: type = facet_access_type %.Self.ref [symbolic_self = constants.%.Self.as_type] +// CHECK:STDOUT: %.loc7_45: type = converted %.Self.ref, %.Self.as_type [symbolic_self = constants.%.Self.as_type] +// CHECK:STDOUT: %.Self.as_wit.iface0: = facet_access_witness %.Self.ref, element0 [symbolic_self = constants.%.Self.as_wit.iface0] +// CHECK:STDOUT: %impl.elem0: type = impl_witness_access %.Self.as_wit.iface0, element0 [symbolic_self = constants.%impl.elem0.dff] +// CHECK:STDOUT: %U.ref.loc7_53: type = name_ref U, %U.loc7_20.1 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %ptr.loc7_54.1: type = ptr_type %U.ref.loc7_53 [symbolic = %ptr.loc7_54.2 (constants.%ptr.79f)] +// CHECK:STDOUT: %.loc7_39: type = where_expr %.Self [symbolic = %Ptr_where.type (constants.%Ptr_where.type)] { +// CHECK:STDOUT: requirement_rewrite %impl.elem0, %ptr.loc7_54.1 +// CHECK:STDOUT: } +// CHECK:STDOUT: %U.loc7_20.1: type = bind_symbolic_name U, 0 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness: = impl_witness (%impl_witness_assoc_constant), @impl.a8e(constants.%U) [symbolic = @impl.a8e.%impl_witness (constants.%impl_witness.4de)] +// CHECK:STDOUT: %impl_witness_assoc_constant: type = impl_witness_assoc_constant constants.%ptr.79f [symbolic = @impl.a8e.%ptr.loc7_54.2 (constants.%ptr.79f)] +// CHECK:STDOUT: %F.decl: %F.type = fn_decl @F [concrete = constants.%F] { +// CHECK:STDOUT: %T.patt.loc9_6.1: %Ptr.type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_6.2 (constants.%T.patt.0a1)] +// CHECK:STDOUT: %t.patt: @F.%T.as_type.loc9_22.2 (%T.as_type) = binding_pattern t +// CHECK:STDOUT: %t.param_patt: @F.%T.as_type.loc9_22.2 (%T.as_type) = ref_param_pattern %t.patt, call_param0 +// CHECK:STDOUT: %.loc9_15: @F.%T.as_type.loc9_22.2 (%T.as_type) = var_pattern %t.param_patt +// CHECK:STDOUT: %return.patt: @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) = out_param_pattern %return.patt, call_param1 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref.loc9_28: %Ptr.type = name_ref T, %T.loc9_6.1 [symbolic = %T.loc9_6.2 (constants.%T.972)] +// CHECK:STDOUT: %Ptr.ref.loc9_31: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %Type.ref: %Ptr.assoc_type = name_ref Type, @Type.%assoc0 [concrete = constants.%assoc0.d28] +// CHECK:STDOUT: %T.as_wit.iface0.loc9_29.1: = facet_access_witness %T.ref.loc9_28, element0 [symbolic = %T.as_wit.iface0.loc9_29.2 (constants.%T.as_wit.iface0)] +// CHECK:STDOUT: %impl.elem0.loc9_29.1: type = impl_witness_access %T.as_wit.iface0.loc9_29.1, element0 [symbolic = %impl.elem0.loc9_29.2 (constants.%impl.elem0.9f2)] +// CHECK:STDOUT: %Ptr.ref.loc9_10: type = name_ref Ptr, file.%Ptr.decl [concrete = constants.%Ptr.type] +// CHECK:STDOUT: %T.loc9_6.1: %Ptr.type = bind_symbolic_name T, 0 [symbolic = %T.loc9_6.2 (constants.%T.972)] +// CHECK:STDOUT: %t.param: ref @F.%T.as_type.loc9_22.2 (%T.as_type) = ref_param call_param0 +// CHECK:STDOUT: %.loc9_22.1: type = splice_block %.loc9_22.2 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] { +// CHECK:STDOUT: %T.ref.loc9_22: %Ptr.type = name_ref T, %T.loc9_6.1 [symbolic = %T.loc9_6.2 (constants.%T.972)] +// CHECK:STDOUT: %T.as_type.loc9_22.1: type = facet_access_type %T.ref.loc9_22 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %.loc9_22.2: type = converted %T.ref.loc9_22, %T.as_type.loc9_22.1 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %t: ref @F.%T.as_type.loc9_22.2 (%T.as_type) = bind_name t, %t.param +// CHECK:STDOUT: %return.param: ref @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) = out_param call_param1 +// CHECK:STDOUT: %return: ref @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @Ptr { +// CHECK:STDOUT: %Self: %Ptr.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self.972] +// CHECK:STDOUT: %Type: type = assoc_const_decl @Type [concrete] { +// CHECK:STDOUT: %assoc0: %Ptr.assoc_type = assoc_entity element0, @Ptr.%Type [concrete = constants.%assoc0.d28] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self +// CHECK:STDOUT: .Type = @Type.%assoc0 +// CHECK:STDOUT: witness = (%Type) +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic interface @ImplicitAs(imports.%Core.import_ref.5ab3ec.1: type) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %Dest.patt: type = symbolic_binding_pattern Dest, 0 [symbolic = %Dest.patt (constants.%Dest.patt)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.d62)] +// CHECK:STDOUT: %Self: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.d62) = bind_symbolic_name Self, 1 [symbolic = %Self (constants.%Self.519)] +// CHECK:STDOUT: %Convert.type: type = fn_type @Convert, @ImplicitAs(%Dest) [symbolic = %Convert.type (constants.%Convert.type.275)] +// CHECK:STDOUT: %Convert: @ImplicitAs.%Convert.type (%Convert.type.275) = struct_value () [symbolic = %Convert (constants.%Convert.42e)] +// CHECK:STDOUT: %ImplicitAs.assoc_type: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%Dest) [symbolic = %ImplicitAs.assoc_type (constants.%ImplicitAs.assoc_type.ca0)] +// CHECK:STDOUT: %assoc0: @ImplicitAs.%ImplicitAs.assoc_type (%ImplicitAs.assoc_type.ca0) = assoc_entity element0, imports.%Core.import_ref.1c7 [symbolic = %assoc0 (constants.%assoc0.9f5)] +// CHECK:STDOUT: +// CHECK:STDOUT: interface { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = imports.%Core.import_ref.ff5 +// CHECK:STDOUT: .Convert = imports.%Core.import_ref.492 +// CHECK:STDOUT: witness = (imports.%Core.Convert) +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @BitAnd [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = imports.%Core.import_ref.ad0 +// CHECK:STDOUT: .Op = imports.%Core.import_ref.02e +// CHECK:STDOUT: witness = (imports.%Core.Op) +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic assoc_const @Type(@Ptr.%Self: %Ptr.type) { +// CHECK:STDOUT: assoc_const Type:! type; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.a8e(%U.loc7_20.1: type) { +// CHECK:STDOUT: %U.loc7_20.2: type = bind_symbolic_name U, 0 [symbolic = %U.loc7_20.2 (constants.%U)] +// CHECK:STDOUT: %U.patt.loc7_20.2: type = symbolic_binding_pattern U, 0 [symbolic = %U.patt.loc7_20.2 (constants.%U.patt)] +// CHECK:STDOUT: %ptr.loc7_54.2: type = ptr_type %U.loc7_20.2 [symbolic = %ptr.loc7_54.2 (constants.%ptr.79f)] +// CHECK:STDOUT: %Ptr_where.type: type = facet_type <@Ptr where constants.%impl.elem0.dff = %ptr.loc7_54.2> [symbolic = %Ptr_where.type (constants.%Ptr_where.type)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.a8e.%Ptr_where.type (%Ptr_where.type) [symbolic = %require_complete (constants.%require_complete.0dd)] +// CHECK:STDOUT: %impl_witness: = impl_witness (file.%impl_witness_assoc_constant), @impl.a8e(%U.loc7_20.2) [symbolic = %impl_witness (constants.%impl_witness.4de)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %U.ref.loc7_30 as %.loc7_39 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = file.%impl_witness +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl.f92(imports.%Core.import_ref.5ab3ec.3: type) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T.8b3)] +// CHECK:STDOUT: %T.patt: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt (constants.%T.patt.e01)] +// CHECK:STDOUT: %impl_witness: = impl_witness (imports.%Core.import_ref.bd4), @impl.f92(%T) [symbolic = %impl_witness (constants.%impl_witness.b81)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Op.type: type = fn_type @Op, @impl.f92(%T) [symbolic = %Op.type (constants.%Op.type)] +// CHECK:STDOUT: %Op: @impl.f92.%Op.type (%Op.type) = struct_value () [symbolic = %Op (constants.%Op)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.f92.%T (%T.8b3) [symbolic = %require_complete (constants.%require_complete.4ae)] +// CHECK:STDOUT: +// CHECK:STDOUT: impl: imports.%Core.import_ref.583 as imports.%Core.import_ref.9c1 { +// CHECK:STDOUT: !members: +// CHECK:STDOUT: witness = imports.%Core.import_ref.f80 +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @F(%T.loc9_6.1: %Ptr.type) { +// CHECK:STDOUT: %T.loc9_6.2: %Ptr.type = bind_symbolic_name T, 0 [symbolic = %T.loc9_6.2 (constants.%T.972)] +// CHECK:STDOUT: %T.patt.loc9_6.2: %Ptr.type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc9_6.2 (constants.%T.patt.0a1)] +// CHECK:STDOUT: %T.as_type.loc9_22.2: type = facet_access_type %T.loc9_6.2 [symbolic = %T.as_type.loc9_22.2 (constants.%T.as_type)] +// CHECK:STDOUT: %T.as_wit.iface0.loc9_29.2: = facet_access_witness %T.loc9_6.2, element0 [symbolic = %T.as_wit.iface0.loc9_29.2 (constants.%T.as_wit.iface0)] +// CHECK:STDOUT: %impl.elem0.loc9_29.2: type = impl_witness_access %T.as_wit.iface0.loc9_29.2, element0 [symbolic = %impl.elem0.loc9_29.2 (constants.%impl.elem0.9f2)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %require_complete.loc9_25: = require_complete_type @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) [symbolic = %require_complete.loc9_25 (constants.%require_complete.357)] +// CHECK:STDOUT: %require_complete.loc9_15: = require_complete_type @F.%T.as_type.loc9_22.2 (%T.as_type) [symbolic = %require_complete.loc9_15 (constants.%require_complete.020)] +// CHECK:STDOUT: %ptr: type = ptr_type %T.as_type.loc9_22.2 [symbolic = %ptr (constants.%ptr.900)] +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%impl.elem0.loc9_29.2)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.73f)] +// CHECK:STDOUT: %require_complete.loc17: = require_complete_type @F.%ImplicitAs.type (%ImplicitAs.type.73f) [symbolic = %require_complete.loc17 (constants.%require_complete.5f0)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%T.patt.loc9_6.1: %Ptr.type](%.loc9_15: @F.%T.as_type.loc9_22.2 (%T.as_type)) -> @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) { +// CHECK:STDOUT: !entry: +// CHECK:STDOUT: %t.ref: ref @F.%T.as_type.loc9_22.2 (%T.as_type) = name_ref t, %t +// CHECK:STDOUT: %addr: @F.%ptr (%ptr.900) = addr_of %t.ref +// CHECK:STDOUT: %.loc17: @F.%impl.elem0.loc9_29.2 (%impl.elem0.9f2) = converted %addr, [concrete = ] +// CHECK:STDOUT: return +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Convert(imports.%Core.import_ref.5ab3ec.2: type, imports.%Core.import_ref.ce1: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.d62)) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.d62)] +// CHECK:STDOUT: %Self: @Convert.%ImplicitAs.type (%ImplicitAs.type.d62) = bind_symbolic_name Self, 1 [symbolic = %Self (constants.%Self.519)] +// CHECK:STDOUT: %Self.as_type: type = facet_access_type %Self [symbolic = %Self.as_type (constants.%Self.as_type)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Convert.%Self.as_type (%Self.as_type)]() -> @Convert.%Dest (%Dest); +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Op(imports.%Core.import_ref.5ab3ec.4: type) [from "include_files/facet_types.carbon"] { +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T.8b3)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Op.%T (%T.8b3)](%other.param_patt: @Op.%T (%T.8b3)) -> @Op.%T (%T.8b3) = "type.and"; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Self.972) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Ptr.facet.879) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.a8e(constants.%U) { +// CHECK:STDOUT: %U.loc7_20.2 => constants.%U +// CHECK:STDOUT: %U.patt.loc7_20.2 => constants.%U.patt +// CHECK:STDOUT: %ptr.loc7_54.2 => constants.%ptr.79f +// CHECK:STDOUT: %Ptr_where.type => constants.%Ptr_where.type +// CHECK:STDOUT: %require_complete => constants.%require_complete.0dd +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.4de +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.a8e(%U.loc7_20.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Type(constants.%Ptr.facet.7ad) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @F(constants.%T.972) { +// CHECK:STDOUT: %T.loc9_6.2 => constants.%T.972 +// CHECK:STDOUT: %T.patt.loc9_6.2 => constants.%T.patt.0a1 +// CHECK:STDOUT: %T.as_type.loc9_22.2 => constants.%T.as_type +// CHECK:STDOUT: %T.as_wit.iface0.loc9_29.2 => constants.%T.as_wit.iface0 +// CHECK:STDOUT: %impl.elem0.loc9_29.2 => constants.%impl.elem0.9f2 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(constants.%Dest) { +// CHECK:STDOUT: %Dest => constants.%Dest +// CHECK:STDOUT: %Dest.patt => constants.%Dest.patt +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(%Dest) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(@Convert.%Dest) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Convert(constants.%Dest, constants.%Self.519) { +// CHECK:STDOUT: %Dest => constants.%Dest +// CHECK:STDOUT: %ImplicitAs.type => constants.%ImplicitAs.type.d62 +// CHECK:STDOUT: %Self => constants.%Self.519 +// CHECK:STDOUT: %Self.as_type => constants.%Self.as_type +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(constants.%impl.elem0.9f2) { +// CHECK:STDOUT: %Dest => constants.%impl.elem0.9f2 +// CHECK:STDOUT: %Dest.patt => constants.%Dest.patt +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %ImplicitAs.type => constants.%ImplicitAs.type.73f +// CHECK:STDOUT: %Self => constants.%Self.20d +// CHECK:STDOUT: %Convert.type => constants.%Convert.type.c52 +// CHECK:STDOUT: %Convert => constants.%Convert.c34 +// CHECK:STDOUT: %ImplicitAs.assoc_type => constants.%ImplicitAs.assoc_type.3d1 +// CHECK:STDOUT: %assoc0 => constants.%assoc0.802 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.f92(constants.%T.8b3) { +// CHECK:STDOUT: %T => constants.%T.8b3 +// CHECK:STDOUT: %T.patt => constants.%T.patt.e01 +// CHECK:STDOUT: %impl_witness => constants.%impl_witness.b81 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl.f92(%T) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Op(constants.%T.8b3) { +// CHECK:STDOUT: %T => constants.%T.8b3 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(@F.%impl.elem0.loc9_29.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: --- include_files/facet_types.carbon +// CHECK:STDOUT: +// CHECK:STDOUT: constants { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic] +// CHECK:STDOUT: %Dest.patt: type = symbolic_binding_pattern Dest, 0 [symbolic] +// CHECK:STDOUT: %As.type.b51: type = generic_interface_type @As [concrete] +// CHECK:STDOUT: %As.generic: %As.type.b51 = struct_value () [concrete] +// CHECK:STDOUT: %As.type.8ba: type = facet_type <@As, @As(%Dest)> [symbolic] +// CHECK:STDOUT: %Self.b4e: %As.type.8ba = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Self.as_type.7f0: type = facet_access_type %Self.b4e [symbolic] +// CHECK:STDOUT: %Convert.type.ad1: type = fn_type @Convert.1, @As(%Dest) [symbolic] +// CHECK:STDOUT: %Convert.0ed: %Convert.type.ad1 = struct_value () [symbolic] +// CHECK:STDOUT: %As.assoc_type: type = assoc_entity_type @As, @As(%Dest) [symbolic] +// CHECK:STDOUT: %assoc0.1d5: %As.assoc_type = assoc_entity element0, @As.%Convert.decl [symbolic] +// CHECK:STDOUT: %ImplicitAs.type.96f: type = generic_interface_type @ImplicitAs [concrete] +// CHECK:STDOUT: %ImplicitAs.generic: %ImplicitAs.type.96f = struct_value () [concrete] +// CHECK:STDOUT: %ImplicitAs.type.07f: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic] +// CHECK:STDOUT: %Self.0f3: %ImplicitAs.type.07f = bind_symbolic_name Self, 1 [symbolic] +// CHECK:STDOUT: %Self.as_type.419: type = facet_access_type %Self.0f3 [symbolic] +// CHECK:STDOUT: %Convert.type.4cf: type = fn_type @Convert.2, @ImplicitAs(%Dest) [symbolic] +// CHECK:STDOUT: %Convert.147: %Convert.type.4cf = struct_value () [symbolic] +// CHECK:STDOUT: %ImplicitAs.assoc_type: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%Dest) [symbolic] +// CHECK:STDOUT: %assoc0.8f8: %ImplicitAs.assoc_type = assoc_entity element0, @ImplicitAs.%Convert.decl [symbolic] +// CHECK:STDOUT: %BitAnd.type: type = facet_type <@BitAnd> [concrete] +// CHECK:STDOUT: %Self.e44: %BitAnd.type = bind_symbolic_name Self, 0 [symbolic] +// CHECK:STDOUT: %Self.as_type.560: type = facet_access_type %Self.e44 [symbolic] +// CHECK:STDOUT: %Op.type.613: type = fn_type @Op.1 [concrete] +// CHECK:STDOUT: %Op.d98: %Op.type.613 = struct_value () [concrete] +// CHECK:STDOUT: %BitAnd.assoc_type: type = assoc_entity_type @BitAnd [concrete] +// CHECK:STDOUT: %assoc0.220: %BitAnd.assoc_type = assoc_entity element0, @BitAnd.%Op.decl [concrete] +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic] +// CHECK:STDOUT: %T.patt: type = symbolic_binding_pattern T, 0 [symbolic] +// CHECK:STDOUT: %impl_witness: = impl_witness (@impl.%Op.decl), @impl(%T) [symbolic] +// CHECK:STDOUT: %Op.type.28d: type = fn_type @Op.2, @impl(%T) [symbolic] +// CHECK:STDOUT: %Op.902: %Op.type.28d = struct_value () [symbolic] +// CHECK:STDOUT: %require_complete: = require_complete_type %T [symbolic] +// CHECK:STDOUT: %BitAnd.facet: %BitAnd.type = facet_value %T, (%impl_witness) [symbolic] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: file { +// CHECK:STDOUT: package: = namespace [concrete] { +// CHECK:STDOUT: .As = %As.decl +// CHECK:STDOUT: .ImplicitAs = %ImplicitAs.decl +// CHECK:STDOUT: .BitAnd = %BitAnd.decl +// CHECK:STDOUT: } +// CHECK:STDOUT: %As.decl: %As.type.b51 = interface_decl @As [concrete = constants.%As.generic] { +// CHECK:STDOUT: %Dest.patt.loc9_14.1: type = symbolic_binding_pattern Dest, 0 [symbolic = %Dest.patt.loc9_14.2 (constants.%Dest.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %Dest.loc9_14.1: type = bind_symbolic_name Dest, 0 [symbolic = %Dest.loc9_14.2 (constants.%Dest)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %ImplicitAs.decl: %ImplicitAs.type.96f = interface_decl @ImplicitAs [concrete = constants.%ImplicitAs.generic] { +// CHECK:STDOUT: %Dest.patt.loc13_22.1: type = symbolic_binding_pattern Dest, 0 [symbolic = %Dest.patt.loc13_22.2 (constants.%Dest.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %Dest.loc13_22.1: type = bind_symbolic_name Dest, 0 [symbolic = %Dest.loc13_22.2 (constants.%Dest)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %BitAnd.decl: type = interface_decl @BitAnd [concrete = constants.%BitAnd.type] {} {} +// CHECK:STDOUT: impl_decl @impl [concrete] { +// CHECK:STDOUT: %T.patt.loc21_14.1: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc21_14.2 (constants.%T.patt)] +// CHECK:STDOUT: } { +// CHECK:STDOUT: %T.ref: type = name_ref T, %T.loc21_14.1 [symbolic = %T.loc21_14.2 (constants.%T)] +// CHECK:STDOUT: %BitAnd.ref: type = name_ref BitAnd, file.%BitAnd.decl [concrete = constants.%BitAnd.type] +// CHECK:STDOUT: %T.loc21_14.1: type = bind_symbolic_name T, 0 [symbolic = %T.loc21_14.2 (constants.%T)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %impl_witness: = impl_witness (@impl.%Op.decl), @impl(constants.%T) [symbolic = @impl.%impl_witness (constants.%impl_witness)] +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic interface @As(%Dest.loc9_14.1: type) { +// CHECK:STDOUT: %Dest.loc9_14.2: type = bind_symbolic_name Dest, 0 [symbolic = %Dest.loc9_14.2 (constants.%Dest)] +// CHECK:STDOUT: %Dest.patt.loc9_14.2: type = symbolic_binding_pattern Dest, 0 [symbolic = %Dest.patt.loc9_14.2 (constants.%Dest.patt)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %As.type: type = facet_type <@As, @As(%Dest.loc9_14.2)> [symbolic = %As.type (constants.%As.type.8ba)] +// CHECK:STDOUT: %Self.2: @As.%As.type (%As.type.8ba) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.b4e)] +// CHECK:STDOUT: %Convert.type: type = fn_type @Convert.1, @As(%Dest.loc9_14.2) [symbolic = %Convert.type (constants.%Convert.type.ad1)] +// CHECK:STDOUT: %Convert: @As.%Convert.type (%Convert.type.ad1) = struct_value () [symbolic = %Convert (constants.%Convert.0ed)] +// CHECK:STDOUT: %As.assoc_type: type = assoc_entity_type @As, @As(%Dest.loc9_14.2) [symbolic = %As.assoc_type (constants.%As.assoc_type)] +// CHECK:STDOUT: %assoc0.loc10_35.2: @As.%As.assoc_type (%As.assoc_type) = assoc_entity element0, %Convert.decl [symbolic = %assoc0.loc10_35.2 (constants.%assoc0.1d5)] +// CHECK:STDOUT: +// CHECK:STDOUT: interface { +// CHECK:STDOUT: %Self.1: @As.%As.type (%As.type.8ba) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.b4e)] +// CHECK:STDOUT: %Convert.decl: @As.%Convert.type (%Convert.type.ad1) = fn_decl @Convert.1 [symbolic = @As.%Convert (constants.%Convert.0ed)] { +// CHECK:STDOUT: %self.patt: @Convert.1.%Self.as_type.loc10_20.1 (%Self.as_type.7f0) = binding_pattern self +// CHECK:STDOUT: %self.param_patt: @Convert.1.%Self.as_type.loc10_20.1 (%Self.as_type.7f0) = value_param_pattern %self.patt, call_param0 +// CHECK:STDOUT: %return.patt: @Convert.1.%Dest (%Dest) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @Convert.1.%Dest (%Dest) = out_param_pattern %return.patt, call_param1 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %Dest.ref: type = name_ref Dest, @As.%Dest.loc9_14.1 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %self.param: @Convert.1.%Self.as_type.loc10_20.1 (%Self.as_type.7f0) = value_param call_param0 +// CHECK:STDOUT: %.loc10_20.1: type = splice_block %.loc10_20.3 [symbolic = %Self.as_type.loc10_20.1 (constants.%Self.as_type.7f0)] { +// CHECK:STDOUT: %.loc10_20.2: @Convert.1.%As.type (%As.type.8ba) = specific_constant @As.%Self.1, @As(constants.%Dest) [symbolic = %Self (constants.%Self.b4e)] +// CHECK:STDOUT: %Self.ref: @Convert.1.%As.type (%As.type.8ba) = name_ref Self, %.loc10_20.2 [symbolic = %Self (constants.%Self.b4e)] +// CHECK:STDOUT: %Self.as_type.loc10_20.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc10_20.1 (constants.%Self.as_type.7f0)] +// CHECK:STDOUT: %.loc10_20.3: type = converted %Self.ref, %Self.as_type.loc10_20.2 [symbolic = %Self.as_type.loc10_20.1 (constants.%Self.as_type.7f0)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %self: @Convert.1.%Self.as_type.loc10_20.1 (%Self.as_type.7f0) = bind_name self, %self.param +// CHECK:STDOUT: %return.param: ref @Convert.1.%Dest (%Dest) = out_param call_param1 +// CHECK:STDOUT: %return: ref @Convert.1.%Dest (%Dest) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: %assoc0.loc10_35.1: @As.%As.assoc_type (%As.assoc_type) = assoc_entity element0, %Convert.decl [symbolic = %assoc0.loc10_35.2 (constants.%assoc0.1d5)] +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self.1 +// CHECK:STDOUT: .Dest = +// CHECK:STDOUT: .Convert = %assoc0.loc10_35.1 +// CHECK:STDOUT: witness = (%Convert.decl) +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic interface @ImplicitAs(%Dest.loc13_22.1: type) { +// CHECK:STDOUT: %Dest.loc13_22.2: type = bind_symbolic_name Dest, 0 [symbolic = %Dest.loc13_22.2 (constants.%Dest)] +// CHECK:STDOUT: %Dest.patt.loc13_22.2: type = symbolic_binding_pattern Dest, 0 [symbolic = %Dest.patt.loc13_22.2 (constants.%Dest.patt)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest.loc13_22.2)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.07f)] +// CHECK:STDOUT: %Self.2: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.07f) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.0f3)] +// CHECK:STDOUT: %Convert.type: type = fn_type @Convert.2, @ImplicitAs(%Dest.loc13_22.2) [symbolic = %Convert.type (constants.%Convert.type.4cf)] +// CHECK:STDOUT: %Convert: @ImplicitAs.%Convert.type (%Convert.type.4cf) = struct_value () [symbolic = %Convert (constants.%Convert.147)] +// CHECK:STDOUT: %ImplicitAs.assoc_type: type = assoc_entity_type @ImplicitAs, @ImplicitAs(%Dest.loc13_22.2) [symbolic = %ImplicitAs.assoc_type (constants.%ImplicitAs.assoc_type)] +// CHECK:STDOUT: %assoc0.loc14_35.2: @ImplicitAs.%ImplicitAs.assoc_type (%ImplicitAs.assoc_type) = assoc_entity element0, %Convert.decl [symbolic = %assoc0.loc14_35.2 (constants.%assoc0.8f8)] +// CHECK:STDOUT: +// CHECK:STDOUT: interface { +// CHECK:STDOUT: %Self.1: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.07f) = bind_symbolic_name Self, 1 [symbolic = %Self.2 (constants.%Self.0f3)] +// CHECK:STDOUT: %Convert.decl: @ImplicitAs.%Convert.type (%Convert.type.4cf) = fn_decl @Convert.2 [symbolic = @ImplicitAs.%Convert (constants.%Convert.147)] { +// CHECK:STDOUT: %self.patt: @Convert.2.%Self.as_type.loc14_20.1 (%Self.as_type.419) = binding_pattern self +// CHECK:STDOUT: %self.param_patt: @Convert.2.%Self.as_type.loc14_20.1 (%Self.as_type.419) = value_param_pattern %self.patt, call_param0 +// CHECK:STDOUT: %return.patt: @Convert.2.%Dest (%Dest) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @Convert.2.%Dest (%Dest) = out_param_pattern %return.patt, call_param1 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %Dest.ref: type = name_ref Dest, @ImplicitAs.%Dest.loc13_22.1 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %self.param: @Convert.2.%Self.as_type.loc14_20.1 (%Self.as_type.419) = value_param call_param0 +// CHECK:STDOUT: %.loc14_20.1: type = splice_block %.loc14_20.3 [symbolic = %Self.as_type.loc14_20.1 (constants.%Self.as_type.419)] { +// CHECK:STDOUT: %.loc14_20.2: @Convert.2.%ImplicitAs.type (%ImplicitAs.type.07f) = specific_constant @ImplicitAs.%Self.1, @ImplicitAs(constants.%Dest) [symbolic = %Self (constants.%Self.0f3)] +// CHECK:STDOUT: %Self.ref: @Convert.2.%ImplicitAs.type (%ImplicitAs.type.07f) = name_ref Self, %.loc14_20.2 [symbolic = %Self (constants.%Self.0f3)] +// CHECK:STDOUT: %Self.as_type.loc14_20.2: type = facet_access_type %Self.ref [symbolic = %Self.as_type.loc14_20.1 (constants.%Self.as_type.419)] +// CHECK:STDOUT: %.loc14_20.3: type = converted %Self.ref, %Self.as_type.loc14_20.2 [symbolic = %Self.as_type.loc14_20.1 (constants.%Self.as_type.419)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %self: @Convert.2.%Self.as_type.loc14_20.1 (%Self.as_type.419) = bind_name self, %self.param +// CHECK:STDOUT: %return.param: ref @Convert.2.%Dest (%Dest) = out_param call_param1 +// CHECK:STDOUT: %return: ref @Convert.2.%Dest (%Dest) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: %assoc0.loc14_35.1: @ImplicitAs.%ImplicitAs.assoc_type (%ImplicitAs.assoc_type) = assoc_entity element0, %Convert.decl [symbolic = %assoc0.loc14_35.2 (constants.%assoc0.8f8)] +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self.1 +// CHECK:STDOUT: .Dest = +// CHECK:STDOUT: .Convert = %assoc0.loc14_35.1 +// CHECK:STDOUT: witness = (%Convert.decl) +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: interface @BitAnd { +// CHECK:STDOUT: %Self: %BitAnd.type = bind_symbolic_name Self, 0 [symbolic = constants.%Self.e44] +// CHECK:STDOUT: %Op.decl: %Op.type.613 = fn_decl @Op.1 [concrete = constants.%Op.d98] { +// CHECK:STDOUT: %self.patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = binding_pattern self +// CHECK:STDOUT: %self.param_patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = value_param_pattern %self.patt, call_param0 +// CHECK:STDOUT: %other.patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = binding_pattern other +// CHECK:STDOUT: %other.param_patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = value_param_pattern %other.patt, call_param1 +// CHECK:STDOUT: %return.patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = out_param_pattern %return.patt, call_param2 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %Self.ref.loc18_37: %BitAnd.type = name_ref Self, @BitAnd.%Self [symbolic = %Self (constants.%Self.e44)] +// CHECK:STDOUT: %Self.as_type.loc18_37: type = facet_access_type %Self.ref.loc18_37 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: %.loc18_37: type = converted %Self.ref.loc18_37, %Self.as_type.loc18_37 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: %self.param: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = value_param call_param0 +// CHECK:STDOUT: %.loc18_15.1: type = splice_block %.loc18_15.2 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] { +// CHECK:STDOUT: %Self.ref.loc18_15: %BitAnd.type = name_ref Self, @BitAnd.%Self [symbolic = %Self (constants.%Self.e44)] +// CHECK:STDOUT: %Self.as_type.loc18_15.2: type = facet_access_type %Self.ref.loc18_15 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: %.loc18_15.2: type = converted %Self.ref.loc18_15, %Self.as_type.loc18_15.2 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %self: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = bind_name self, %self.param +// CHECK:STDOUT: %other.param: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = value_param call_param1 +// CHECK:STDOUT: %.loc18_28.1: type = splice_block %.loc18_28.2 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] { +// CHECK:STDOUT: %Self.ref.loc18_28: %BitAnd.type = name_ref Self, @BitAnd.%Self [symbolic = %Self (constants.%Self.e44)] +// CHECK:STDOUT: %Self.as_type.loc18_28: type = facet_access_type %Self.ref.loc18_28 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: %.loc18_28.2: type = converted %Self.ref.loc18_28, %Self.as_type.loc18_28 [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: } +// CHECK:STDOUT: %other: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = bind_name other, %other.param +// CHECK:STDOUT: %return.param: ref @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = out_param call_param2 +// CHECK:STDOUT: %return: ref @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: %assoc0: %BitAnd.assoc_type = assoc_entity element0, %Op.decl [concrete = constants.%assoc0.220] +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Self = %Self +// CHECK:STDOUT: .Op = %assoc0 +// CHECK:STDOUT: witness = (%Op.decl) +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic impl @impl(%T.loc21_14.1: type) { +// CHECK:STDOUT: %T.loc21_14.2: type = bind_symbolic_name T, 0 [symbolic = %T.loc21_14.2 (constants.%T)] +// CHECK:STDOUT: %T.patt.loc21_14.2: type = symbolic_binding_pattern T, 0 [symbolic = %T.patt.loc21_14.2 (constants.%T.patt)] +// CHECK:STDOUT: %impl_witness: = impl_witness (%Op.decl), @impl(%T.loc21_14.2) [symbolic = %impl_witness (constants.%impl_witness)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: %Op.type: type = fn_type @Op.2, @impl(%T.loc21_14.2) [symbolic = %Op.type (constants.%Op.type.28d)] +// CHECK:STDOUT: %Op: @impl.%Op.type (%Op.type.28d) = struct_value () [symbolic = %Op (constants.%Op.902)] +// CHECK:STDOUT: %require_complete: = require_complete_type @impl.%T.loc21_14.2 (%T) [symbolic = %require_complete (constants.%require_complete)] +// CHECK:STDOUT: +// CHECK:STDOUT: impl: %T.ref as %BitAnd.ref { +// CHECK:STDOUT: %Op.decl: @impl.%Op.type (%Op.type.28d) = fn_decl @Op.2 [symbolic = @impl.%Op (constants.%Op.902)] { +// CHECK:STDOUT: %self.patt: @Op.2.%T (%T) = binding_pattern self +// CHECK:STDOUT: %self.param_patt: @Op.2.%T (%T) = value_param_pattern %self.patt, call_param0 +// CHECK:STDOUT: %other.patt: @Op.2.%T (%T) = binding_pattern other +// CHECK:STDOUT: %other.param_patt: @Op.2.%T (%T) = value_param_pattern %other.patt, call_param1 +// CHECK:STDOUT: %return.patt: @Op.2.%T (%T) = return_slot_pattern +// CHECK:STDOUT: %return.param_patt: @Op.2.%T (%T) = out_param_pattern %return.patt, call_param2 +// CHECK:STDOUT: } { +// CHECK:STDOUT: %Self.ref.loc22_37: type = name_ref Self, @impl.%T.ref [symbolic = %T (constants.%T)] +// CHECK:STDOUT: %self.param: @Op.2.%T (%T) = value_param call_param0 +// CHECK:STDOUT: %Self.ref.loc22_15: type = name_ref Self, @impl.%T.ref [symbolic = %T (constants.%T)] +// CHECK:STDOUT: %self: @Op.2.%T (%T) = bind_name self, %self.param +// CHECK:STDOUT: %other.param: @Op.2.%T (%T) = value_param call_param1 +// CHECK:STDOUT: %Self.ref.loc22_28: type = name_ref Self, @impl.%T.ref [symbolic = %T (constants.%T)] +// CHECK:STDOUT: %other: @Op.2.%T (%T) = bind_name other, %other.param +// CHECK:STDOUT: %return.param: ref @Op.2.%T (%T) = out_param call_param2 +// CHECK:STDOUT: %return: ref @Op.2.%T (%T) = return_slot %return.param +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: !members: +// CHECK:STDOUT: .Op = %Op.decl +// CHECK:STDOUT: witness = file.%impl_witness +// CHECK:STDOUT: } +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Convert.1(@As.%Dest.loc9_14.1: type, @As.%Self.1: @As.%As.type (%As.type.8ba)) { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %As.type: type = facet_type <@As, @As(%Dest)> [symbolic = %As.type (constants.%As.type.8ba)] +// CHECK:STDOUT: %Self: @Convert.1.%As.type (%As.type.8ba) = bind_symbolic_name Self, 1 [symbolic = %Self (constants.%Self.b4e)] +// CHECK:STDOUT: %Self.as_type.loc10_20.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc10_20.1 (constants.%Self.as_type.7f0)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Convert.1.%Self.as_type.loc10_20.1 (%Self.as_type.7f0)]() -> @Convert.1.%Dest (%Dest); +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Convert.2(@ImplicitAs.%Dest.loc13_22.1: type, @ImplicitAs.%Self.1: @ImplicitAs.%ImplicitAs.type (%ImplicitAs.type.07f)) { +// CHECK:STDOUT: %Dest: type = bind_symbolic_name Dest, 0 [symbolic = %Dest (constants.%Dest)] +// CHECK:STDOUT: %ImplicitAs.type: type = facet_type <@ImplicitAs, @ImplicitAs(%Dest)> [symbolic = %ImplicitAs.type (constants.%ImplicitAs.type.07f)] +// CHECK:STDOUT: %Self: @Convert.2.%ImplicitAs.type (%ImplicitAs.type.07f) = bind_symbolic_name Self, 1 [symbolic = %Self (constants.%Self.0f3)] +// CHECK:STDOUT: %Self.as_type.loc14_20.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc14_20.1 (constants.%Self.as_type.419)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Convert.2.%Self.as_type.loc14_20.1 (%Self.as_type.419)]() -> @Convert.2.%Dest (%Dest); +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Op.1(@BitAnd.%Self: %BitAnd.type) { +// CHECK:STDOUT: %Self: %BitAnd.type = bind_symbolic_name Self, 0 [symbolic = %Self (constants.%Self.e44)] +// CHECK:STDOUT: %Self.as_type.loc18_15.1: type = facet_access_type %Self [symbolic = %Self.as_type.loc18_15.1 (constants.%Self.as_type.560)] +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560)](%other.param_patt: @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560)) -> @Op.1.%Self.as_type.loc18_15.1 (%Self.as_type.560); +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: generic fn @Op.2(@impl.%T.loc21_14.1: type) { +// CHECK:STDOUT: %T: type = bind_symbolic_name T, 0 [symbolic = %T (constants.%T)] +// CHECK:STDOUT: +// CHECK:STDOUT: !definition: +// CHECK:STDOUT: +// CHECK:STDOUT: fn[%self.param_patt: @Op.2.%T (%T)](%other.param_patt: @Op.2.%T (%T)) -> @Op.2.%T (%T) = "type.and"; +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @As(constants.%Dest) { +// CHECK:STDOUT: %Dest.loc9_14.2 => constants.%Dest +// CHECK:STDOUT: %Dest.patt.loc9_14.2 => constants.%Dest.patt +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Convert.1(constants.%Dest, constants.%Self.b4e) { +// CHECK:STDOUT: %Dest => constants.%Dest +// CHECK:STDOUT: %As.type => constants.%As.type.8ba +// CHECK:STDOUT: %Self => constants.%Self.b4e +// CHECK:STDOUT: %Self.as_type.loc10_20.1 => constants.%Self.as_type.7f0 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @As(@Convert.1.%Dest) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @As(%Dest.loc9_14.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(constants.%Dest) { +// CHECK:STDOUT: %Dest.loc13_22.2 => constants.%Dest +// CHECK:STDOUT: %Dest.patt.loc13_22.2 => constants.%Dest.patt +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Convert.2(constants.%Dest, constants.%Self.0f3) { +// CHECK:STDOUT: %Dest => constants.%Dest +// CHECK:STDOUT: %ImplicitAs.type => constants.%ImplicitAs.type.07f +// CHECK:STDOUT: %Self => constants.%Self.0f3 +// CHECK:STDOUT: %Self.as_type.loc14_20.1 => constants.%Self.as_type.419 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(@Convert.2.%Dest) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @ImplicitAs(%Dest.loc13_22.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Op.1(constants.%Self.e44) { +// CHECK:STDOUT: %Self => constants.%Self.e44 +// CHECK:STDOUT: %Self.as_type.loc18_15.1 => constants.%Self.as_type.560 +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(constants.%T) { +// CHECK:STDOUT: %T.loc21_14.2 => constants.%T +// CHECK:STDOUT: %T.patt.loc21_14.2 => constants.%T.patt +// CHECK:STDOUT: %impl_witness => constants.%impl_witness +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @impl(%T.loc21_14.2) {} +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Op.2(constants.%T) { +// CHECK:STDOUT: %T => constants.%T +// CHECK:STDOUT: } +// CHECK:STDOUT: +// CHECK:STDOUT: specific @Op.1(constants.%BitAnd.facet) { +// CHECK:STDOUT: %Self => constants.%BitAnd.facet +// CHECK:STDOUT: %Self.as_type.loc18_15.1 => constants.%T +// CHECK:STDOUT: } +// CHECK:STDOUT: diff --git a/toolchain/sem_ir/impl.h b/toolchain/sem_ir/impl.h index 5a3ca039933b..7681298a39ed 100644 --- a/toolchain/sem_ir/impl.h +++ b/toolchain/sem_ir/impl.h @@ -39,6 +39,9 @@ struct ImplFields { // TODO: Handle control flow in the impl body, such as if-expressions. InstBlockId body_block_id = InstBlockId::None; + // Whether the impl declaration is marked `final`. + bool is_final; + // The following members are set at the `}` of the impl definition. bool defined = false; };