diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim
index 9f802a10e9..e4509ff913 100644
--- a/compiler/sigmatch.nim
+++ b/compiler/sigmatch.nim
@@ -1242,7 +1242,9 @@ proc typeRelImpl(c: var TCandidate, f, aOrig: PType,
         if result < isGeneric: result = isNone
     elif a.kind == tyGenericParam:
       result = isGeneric
-  of tyForward: internalError("forward type in typeRel()")
+  of tyForward:
+    #internalError("forward type in typeRel()")
+    result = isNone
   of tyNil:
     if a.kind == f.kind: result = isEqual
   of tyTuple:
diff --git a/todo.txt b/todo.txt
index e06ddf5554..32bc32630e 100644
--- a/todo.txt
+++ b/todo.txt
@@ -45,7 +45,6 @@ Bugs
 
 - VM: Pegs do not work at compile-time
 - blocks can "export" an identifier but the CCG generates {} for them ...
-- ConcreteTypes in a 'case' means we don't check for duplicated case branches
 
 
 GC