AbstractTransformer #1478: work around qualifying types that are intersections
Test for #1478: Compiler error for refined formal class