Method type

chapter21/src/main/java/com/seaofnodes/simple/Var.java:29–34

()

        _fref = fref;
    }
    public Type type() {
        if( !_type.isFRef() ) return _type;
        // Update self to no longer use the forward ref type
        Type def = Parser.TYPES.get(((TypeMemPtr)_type)._obj._name);
        return (_type=_type.meet(def));
    }
    public Type lazyGLB() {
        Type t = type();
        return t instanceof TypeMemPtr ? t : t.glb();