DfType (@Nullable DfaVariableValue qualifier) { if (qualifier == null) return DfType.TOP; TypeConstraint constraint = TypeConstraint.fromDfType(qualifier.getDfType()); return constraint.getUnboxedType(); }