Method lazyGLB

chapter21/src/main/java/com/seaofnodes/simple/Var.java:35–38

()

        return (_type=_type.meet(def));
    }
    public Type lazyGLB() {
        Type t = type();
        return t instanceof TypeMemPtr ? t : t.glb();
    }

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