summary refs log tree commit diff stats
path: root/compiler
diff options
context:
space:
mode:
Diffstat (limited to 'compiler')
-rw-r--r--compiler/condsyms.nim1
-rw-r--r--compiler/sigmatch.nim8
-rw-r--r--compiler/types.nim2
3 files changed, 4 insertions, 7 deletions
diff --git a/compiler/condsyms.nim b/compiler/condsyms.nim
index 1f147b4a8..0955a84ae 100644
--- a/compiler/condsyms.nim
+++ b/compiler/condsyms.nim
@@ -75,3 +75,4 @@ proc initDefines*(symbols: StringTableRef) =
   defineSymbol("nimIncrSeqV3")
   defineSymbol("nimAshr")
   defineSymbol("nimNoNilSeqs")
+  defineSymbol("nimNoNilSeqs2")
diff --git a/compiler/sigmatch.nim b/compiler/sigmatch.nim
index d779152d2..f206119ec 100644
--- a/compiler/sigmatch.nim
+++ b/compiler/sigmatch.nim
@@ -1355,11 +1355,7 @@ proc typeRelImpl(c: var TCandidate, f, aOrig: PType,
       else:
         result = isEqual
     of tyNil: result = f.allowsNil
-    of tyString:
-      if optNilSeqs in c.c.config.options or c.magic != mEqCString:
-        result = isConvertible
-      else:
-        result = isNone
+    of tyString: result = isConvertible
     of tyPtr:
       # ptr[Tag, char] is not convertible to 'cstring' for now:
       if a.len == 1:
@@ -1819,7 +1815,7 @@ proc userConvMatch(c: PContext, m: var TCandidate, f, a: PType,
     # see tests/tgenericconverter:
     let srca = typeRel(m, src, a)
     if srca notin {isEqual, isGeneric, isSubtype}: continue
-   
+
     let constraint = c.converters[i].typ.n[1].sym.constraint
     if not constraint.isNil and not matchNodeKinds(constraint, arg):
       continue
diff --git a/compiler/types.nim b/compiler/types.nim
index 8a120b609..80624502c 100644
--- a/compiler/types.nim
+++ b/compiler/types.nim
@@ -1200,7 +1200,7 @@ proc typeAllowedAux(marker: var IntSet, typ: PType, kind: TSymKind,
      tyNone, tyForward, tyFromExpr:
     result = t
   of tyNil:
-    if kind != skConst: result = t
+    if kind != skConst and kind != skParam: result = t
   of tyString, tyBool, tyChar, tyEnum, tyInt..tyUInt64, tyCString, tyPointer:
     result = nil
   of tyOrdinal: