fixes #11715 (#11721)

(cherry picked from commit de1ede77fe)

compiler/sigmatch.nim

@@ -1293,7 +1293,7 @@ proc typeRel(c: var TCandidate, f, aOrig: PType,
           inc(c.inheritancePenalty, depth)
           result = isSubtype
   of tyDistinct:
-    skipOwned(a)
+    a = a.skipTypes({tyOwned, tyGenericInst, tyRange})
     if a.kind == tyDistinct:
       if sameDistinctTypes(f, a): result = isEqual
       #elif f.base.kind == tyAnything: result = isGeneric  # issue 4435

tests/distinct/tdistinct.nim

@@ -6,6 +6,7 @@ false
 false
 false
 false
+Foo
 '''
 """
 
@@ -98,3 +99,10 @@ proc `<=`(a, b: Id): bool {.borrow.}
 var xs: array[Id, bool]
 
 for x in xs: echo x # type mismatch: got (T) but expected 'bool'
+
+# bug #11715
+
+type FooD = distinct int
+proc `<=`(a, b: FooD): bool {.borrow.}
+
+for f in [FooD(0): "Foo"]: echo f