@override ASTType resolveType(VMContext? context) { if (type is ASTTypeVar) { var t = _value.resolveType(context); if (t is ASTType) { return t; } return _value.type; } return type; }