Wrong type is inferred when involving a bounded type parameter in a parameterized method call

class A<T> {
  T m() {
    return null;
  }
}

class B {
  B(byte x) {}
}

class C<T> {
  T x;

  C(T x) {
    this.x = x;
  }
}

class Test {
  <T extends A<Byte>> void test() {
    C<T> a = new C<T>(null);
    T x = a.x;
    new B(x.m()); // should type check
  }
}

org.codehaus.groovy.control.MultipleCompilationErrorsException: startup failed:
test.groovy: 23: [Static type checking] - Cannot find matching method B#<init>(java.lang.Object). Please check if the declared type is correct and if the method exists.
 @ line 23, column 5.
       new B(x.m());
       ^

1 error