STC: no error for incorrect bounds match

@groovy.transform.CompileStatic
class C {
  void x(Class<? extends CharSequence> c) {
  }
  void y() {
    def t = (Class<?>) String.class
    x(t) // should be error for <?> not satisfying <? extends CharSequence>
  }
}