Fix subranges of distinct types (#18816) [backport]

2 files changed, 15 insertions, 1 deletions

diff --git a/compiler/typeallowed.nim b/compiler/typeallowed.nim
index 2f0c039a4..d00aa538f 100644
--- a/compiler/typeallowed.nim
+++ b/compiler/typeallowed.nim
@@ -124,7 +124,7 @@ proc typeAllowedAux(marker: var IntSet, typ: PType, kind: TSymKind,
     result = typeAllowedAux(marker, lastSon(t), kind, c, flags)
   of tyRange:
     if skipTypes(t[0], abstractInst-{tyTypeDesc}).kind notin
-      {tyChar, tyEnum, tyInt..tyFloat128, tyInt..tyUInt64}: result = t
+      {tyChar, tyEnum, tyInt..tyFloat128, tyInt..tyUInt64, tyRange}: result = t
   of tyOpenArray:
     # you cannot nest openArrays/sinks/etc.
     if (kind != skParam or taIsOpenArray in flags) and views notin c.features:
diff --git a/tests/distinct/tdistinct.nim b/tests/distinct/tdistinct.nim
index 876975a7c..fd60b4ac0 100644
--- a/tests/distinct/tdistinct.nim
+++ b/tests/distinct/tdistinct.nim
@@ -167,6 +167,20 @@ template main() =
         s.Foo.add('c')
         doAssert s.string == "c" # was failing
       test()
+    block: #18061
+      type
+        A = distinct (0..100)
+        B = A(0) .. A(10)
+      proc test(b: B) = discard
+      let
+        a = A(10)
+        b = B(a)
+      test(b)
+
+      proc test(a: A) = discard
+      discard cast[B](A(1))
+      var c: B
+
 
 static: main()
 main()