If we don't have this correspondence, we can't infer anything from RawType's type parameter bounds.