Method type

chapter24/src/main/java/com/seaofnodes/simple/Var.java:31–36

()

        _loc = loc;
    }
    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));
    }

    // Forward reference variables (not types) must be BOTTOM and
    // distinct from inferred variables