Hi~ I think this is not the issue of tvmscript. For example, though `List[Integer]` is supported by script, it would fail in lowering with `Illegal attribute of key pragma_key, value type Array not supported`, since the annotation can not convert to an attr stmt. ```python import tvm from tvm.script import tir as T
@T.prim_func def fun(x: T.Buffer((16,), "int32")) -> None: for k in T.serial(0, 16, annotations={"pragma_key": [1, 2, 3]}): x[k] = 1 print(tvm.lower(fun).script()) ``` --- [Visit Topic](https://discuss.tvm.apache.org/t/can-we-lift-tir-attrstmt-value-type-to-objectref/12118/3) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.apache.org/email/unsubscribe/7d3cf1a0358a40badecc66e9eb85d7fe7c916f2186f2077304c4c8f8da00f826).