Что-то как-то громоздко. Когда имена реальные — очень длиннннно получается.

class Asd[T]
{
    private struct Sa
    {
        public struct Sb
        {
            public i : int;
        }
        
        public mutable aSb : array[Sb];
    }
    
    
    public static M() : void
    {
        def v = Sa();
        v.aSb = array(3);
        def en = v.aSb.GetEnumerator();
        def cur = en.Current :> Sa.Sb; // error : cannot determine nested type parameters for `Sa.Sb', please use the fully qualified name
        //def cur = en.Current :> Asd[T].Sa.Sb; // так работает
    }
}