Fixes Bodo's thing
module udt;
export all;
external typedef secret;
typedef secret[3] boom;
typedef int[2] pair;
secret foo (secret x)
{
return x;
}
#if 1
secret[*] foo (secret[*] x)
{
return [x,x];
}
pair foo (pair x)
{
return x;
}
pair[.,.] foo (pair[.] x)
{
return [x,x];
}
#endif
Macro implementation was missing. No idea why that starts showing up now though, probably triggered by a different bug.