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

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.

[randi]

PR#1693