Просмотр исходного кода

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.
Dana Jansens 4 недель назад
Родитель
Сommit
e1f30669af
1 измененных файлов с 0 добавлено и 4 удалено
  1. 0 4
      toolchain/check/impl_lookup.cpp

+ 0 - 4
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;
     }