Look in libraries associated with the interface (#4510)

This was broken by #4499 . --------- Co-authored-by: Josh L <[email protected]>
carbon-language · Nov 12, 2024 · 3824c5f · 3824c5f
1 parent ada9564
commit 3824c5f
Show file tree

Hide file tree

Showing 2 changed files with 1,061 additions and 126 deletions.
diff --git a/toolchain/check/impl_lookup.cpp b/toolchain/check/impl_lookup.cpp
@@ -66,6 +66,14 @@ static auto FindAssociatedImportIRs(Context& context,
           add_entity(context.interfaces().Get(SemIR::InterfaceId(arg)));
           break;
         }
+        case SemIR::IdKind::For<SemIR::FacetTypeId>: {
+          const auto& facet_type_info =
+              context.sem_ir().facet_types().Get(SemIR::FacetTypeId(arg));
+          for (const auto& impl : facet_type_info.impls_constraints) {
+            add_entity(context.interfaces().Get(impl.interface_id));
+          }
+          break;
+        }
         case SemIR::IdKind::For<SemIR::FunctionId>: {
           add_entity(context.functions().Get(SemIR::FunctionId(arg)));
           break;