2 files changed, 86 insertions, 0 deletions
diff --git a/tests/alias/t19349.nim b/tests/alias/t19349.nim
new file mode 100644
index 000000000..1e1e58264
--- /dev/null
+++ b/tests/alias/t19349.nim
@@ -0,0 +1,19 @@
+discard """
+  action: "compile"
+"""
+
+type
+  Vec3[T: SomeNumber] = object
+    arr: array[3, T]
+
+var 
+  cfloatArr: array[3, array[3, cfloat]]
+  cfloatSeq = newSeq[Vec3[cfloat]]()
+for row in cfloatArr:
+  cfloatSeq.add(Vec3[float32](arr: [row[0], row[1], row[2]]))
+
+var 
+  cuintArr: array[3, array[3, cuint]]
+  cuintSeq = newSeq[Vec3[cuint]]()
+for row in cuintArr:
+  cuintSeq.add(Vec3[uint32](arr: [row[0], row[1], row[2]]))
diff --git a/tests/alias/talias.nim b/tests/alias/talias.nim
new file mode 100644
index 000000000..a8f1b0dd0
--- /dev/null
+++ b/tests/alias/talias.nim
@@ -0,0 +1,67 @@
+# Test the alias analysis
+
+type
+  TAnalysisResult* = enum
+    arNo, arMaybe, arYes
+
+proc isPartOf*[S, T](a: S, b: T): TAnalysisResult {.
+  magic: "IsPartOf", noSideEffect.}
+  ## not yet exported properly.
+
+template compileTimeAssert(cond) =
+  when not cond:
+    {.compile: "is false: " & astToStr(cond).}
+
+template `<|` (a, b) =
+  compileTimeAssert isPartOf(a, b) == arYes
+
+template `!<|` (a, b) =
+  compileTimeAssert isPartOf(a, b) == arNo
+
+template `?<|` (a, b) =
+  compileTimeAssert isPartOf(a, b) == arMaybe
+
+type
+  TA {.inheritable.} = object
+  TC = object of TA
+    arr: array[0..3, int]
+    le, ri: ref TC
+    f: string
+    c: char
+    se: seq[TA]
+
+proc p(param1, param2: TC, param3: var TC): TC =
+  var
+    local: TC
+    plocal: ptr TC
+    plocal2: ptr TA
+
+  local.arr <| local
+  local.arr[0] <| local
+  local.arr[2] !<| local.arr[1]
+
+  plocal2[] ?<| local
+
+  param1 ?<| param2
+  local ?<| param3
+
+  local.arr[0] !<| param1
+  local.arr !<| param1
+  local.le[] ?<| param1
+
+  param1 !<| local.arr[0]
+  param1 !<| local.arr
+  param1 ?<| local.le[]
+
+  result !<| local
+  result <| result
+
+var
+  a, b: int
+  x: TC
+
+a <| a
+a !<| b
+
+discard p(x, x, x)
+