//@check-pass
type A[T] = struct { a: T };

function main() = ;

function test(a: A[I32]) = ;