From e1f30669af46eb8017e8783bca313bf5ecc1c66f Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Tue, 7 Apr 2026 14:11:08 -0400 Subject: [PATCH] Remove TODO in impl lookup for discarding unused witnesses (#7032) In #6972 we stopped finishing instructions added just for EvalOrAddInst, which prevents adding the instruction to the containing generic eval block. --- toolchain/check/impl_lookup.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/toolchain/check/impl_lookup.cpp b/toolchain/check/impl_lookup.cpp index 7c9550189d5b..422e4dec7f15 100644 --- a/toolchain/check/impl_lookup.cpp +++ b/toolchain/check/impl_lookup.cpp @@ -991,10 +991,6 @@ auto LookupImplWitness(Context& context, SemIR::LocId loc_id, req_impl.specific_interface)) { // At least one queried interface in the facet type has no witness for the // given type, we can stop looking for more. - // - // TODO: The LookupImplWitness won't be used. We should find a way to - // discard it, which would remove it from the generic eval block if the - // lookup is within a generic context. break; }