Searched refs:excluded_type (Results 1 – 2 of 2) sorted by relevance
344 TypeExpression* excluded_type, in AssumeTypeImpossibleExpression()347 excluded_type(excluded_type), in AssumeTypeImpossibleExpression()349 TypeExpression* excluded_type; member
524 SubtractType(result.type(), declarations()->GetType(expr->excluded_type)); in Visit()