Update toolchain/check/impl_lookup.cpp

Co-authored-by: josh11b <15258583+josh11b@users.noreply.github.com>
carbon-language · Mar 3, 2025 · 6030c64 · 6030c64
1 parent e0224bf
commit 6030c64
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/toolchain/check/impl_lookup.cpp b/toolchain/check/impl_lookup.cpp
@@ -214,12 +214,6 @@ static auto GetWitnessIdForImpl(
     return SemIR::InstId::None;
   }
 
-  // impl C as A where .Self impls I {}
-
-  // ({} as C) as (C as (A & B))
-  //     ^      FacetValue witnesses for A and B
-  //                       ^ CompleteFacetType has 2 required_interfaces
-
   // When the impl's interface_id matches, but the interface is generic, the
   // impl may or may not match based on restrictions in the generic parameters
   // of the impl.