Fix subtyping checks involving ThisType and PolyParam

I don't know if the problem occurs with other types than ThisType or if there's a cleaner fix.
Review by @odersky @DarkDimius @namin .