It's to check we're dealing with the existential corresponding to a java raw type, where it's always a straight line between the quantifiers and the underlying.

`RawType` --> `RawType[t1,..., tN] forSome {type t1 ... type tn}`