tests and adjust

tests/concepts/tconcepts_concrete.nim

@@ -0,0 +1,28 @@
+discard """
+  output: '''string
+A[seq[int]]
+A[array[0..0, string]]
+'''
+"""
+
+type
+  SomethingLike[T] = concept x
+    x.len is int
+    x[int] is T
+
+  A[T] = object
+    x: T
+
+proc p*[T](x: SomethingLike[T]) =
+  echo typeof(x)
+
+proc initA*[T; S: SomethingLike[T]](x: S): A[S] =
+  A[S](x: x)
+
+proc initA2[T](x: SomethingLike[T]): auto =
+  A[typeof x](x:x)
+
+p("testing")
+echo typeof(initA(newSeq[int]()))
+var ar: array[1, string]
+echo typeof(initA2(ar))

tests/concepts/tusertypeclasses.nim

@@ -3,8 +3,7 @@ discard """
   output: '''Sortable
 Sortable
 Container
-TObj
-int
+oof
 111 111
 (id: @[1, 2, 3], name: @["Vas", "Pas", "NafNaf"], age: @[10, 16, 18])
 '''
@@ -97,8 +96,7 @@ proc to(x: TObj, t: type string) = discard
 proc to(x: TObj, t: type JSonValue) = discard
 
 proc testFoo(x: TFoo) =
-  echo x.TypeName
-  echo x.MappedType.name
+  echo "oof"
 
 testFoo(TObj(x: 10))
 

tests/lent/t16898.nim

@@ -1,5 +1,5 @@
 discard """
-  errormsg: "invalid type: 'lent QuadraticExt' in this context: 'proc (r: var QuadraticExt, a: lent QuadraticExt, b: lent QuadraticExt){.noSideEffect, gcsafe.}' for proc"
+  errormsg: "invalid type: 'lent Fp2[6, system.uint64]' in this context: 'proc (r: var Fp2[6, system.uint64], a: lent Fp2[6, system.uint64], b: lent Fp2[6, system.uint64]){.noSideEffect, gcsafe.}' for proc"
 """
 
 # bug #16898