ZScript Syntax for referring to an inner type is broken

[Gutawer]

Types like .Outer.Inner in ZScript aren't handled properly and appear to just look at the first element in the dottable_id. Making this syntax work properly would be pretty useful as right now it makes inner types fairly hard to use and often not worth bothering with.

Example:

Code: Select all • Expand view

class Outer {
    struct Inner {}
   
    int m;
    int f(.Outer.Inner x) { return x.m; }
}


This code shouldn't really be expected to compile as it tries to access a thing that doesn't exist on Inner, but the function is actually compiled as referring to the wrong type (namely Outer) so it works with wrong behaviour.