fixes #6533

compiler/semtypes.nim

@@ -963,7 +963,8 @@ proc liftParamType(c: PContext, procKind: TSymKind, genericParams: PNode,
     let liftBody = liftingWalk(paramType.lastSon, true)
     if liftBody != nil:
       result = liftBody
-      result.shouldHaveMeta
+      result.flags.incl tfHasMeta
+      #result.shouldHaveMeta
 
   of tyGenericInvocation:
     for i in 1 ..< paramType.len:

tests/metatype/tstatic_ones.nim

@@ -1,5 +1,6 @@
 discard """
-  output: "@[2, 2, 2, 2, 2]"
+  output: '''@[2, 2, 2, 2, 2]
+0'''
 """
 
 # bug #3144
@@ -26,3 +27,8 @@ proc sum[N: static[int]](vs: seq[IntArray[N]]): IntArray[N] =
     result += v
 
 echo sum(@[ones(5), ones(5)])
+
+# bug #6533
+type Value[T: static[int]] = typedesc
+proc foo(order: Value[1]): auto = 0
+echo foo(Value[1])