Some potential issues surrounding complex type aliases

[lethalgem]

type myAliasForCast = int;
type myNestedCast = int[4 as myAliasForCast];
type myNestedTuple = int[{2, 1}.0];
type myNestedArray = int[[2, 1][1]];
type complexType = { myNestedCast, myNestedIf }[(2 in {1, 2, 3}) as int];

intent Foo {}

currently results in

// intermediate <<<
// type ::myAliasForCast = int;
// type ::myNestedCast = int[4 as ::myAliasForCast];
// type ::myNestedTuple = int[{2, 1}.0];
// type ::myNestedArray = int[[2, 1][1]];
// type ::complexType = {::myNestedCast, ::myNestedIf}[2 in {1, 2, 3} as int];
// 
// intent ::Foo {
//     type ::myAliasForCast = int;
//     type ::myNestedCast = int[4 as ::myAliasForCast];
//     type ::myNestedTuple = int[1.0]; // issue
//     type ::myNestedArray = int[2[1]]; // issue
//     type ::complexType = {::myNestedCast, ::myNestedIf}[3 as int]; // issue
// }
// >>>

// flattened <<<
// type ::myAliasForCast = int;
// type ::myNestedCast = int[4 as int];
// type ::myNestedTuple = int[{2, 1}.0];
// type ::myNestedArray = int[[2, 1][1]];
// type ::complexType = {::myNestedCast, ::myNestedIf}[2 in {1, 2, 3} as int];
// 
// intent ::Foo {
//     type ::myAliasForCast = int;
//     type ::myNestedCast = int[4 as int];
//     type ::myNestedTuple = int[1.0];
//     type ::myNestedArray = int[2[1]];
//     type ::complexType = {::myNestedCast, ::myNestedIf}[3 as int];
// }
// >>>

[mohammadfawaz]

Not sure exactly what the original error was but for this type does not work:

type complexType = int[2 in {1, 2, 3}];

we get:

Error: compiler internal error: unexpected expression during compile-time evaluation

I think the other type seem fine.

[mohammadfawaz]

I tested this using https://github.com/essential-contributions/pint/pulls/857