tele: remove obsolete comment

aya-prover · Jun 27, 2024 · 2cc3b93 · 2cc3b93
1 parent c25212e
commit 2cc3b93
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/base/src/main/java/org/aya/tyck/StmtTycker.java b/base/src/main/java/org/aya/tyck/StmtTycker.java
@@ -173,7 +173,6 @@ private void checkMember(@NotNull ClassMember member, @NotNull ExprTycker tycker
         new Param("self", classCall, false),
         classRef.concrete.sourcePos()
       );
-    // TODO: reconsider these `self` references, they should be locally nameless!
     new MemberDef(classRef, member.ref, signature.params(), signature.result());
     member.ref.signature = signature;
   }