Handling of obsolete declaration annotations on arrays where the element is a type parameter

[cushon]

Is the behaviour below expected? Per https://checkerframework.org/manual/#declaration-annotations-moved, I thought the declaration annotation below would be treated as if I had written T @Nonnull... with an equivalent type annotation.

// lib/Lib.java
import javax.annotation.Nonnull;

public class Lib {
  static <T> void x(@Nonnull T... o) {}
}

// User.java
public class User {
  void go() {
    Lib.x("", null);
  }
}

$ ./checker-framework-3.42.0/checker/bin/javac -cp jsr305-3.0.2.jar lib/Lib.java -d out
$ ./checker-framework-3.42.0/checker/bin/javac -cp out -processor nullness User.java
User.java:3: error: [argument] incompatible argument for parameter arg0 of Lib.x.
    Lib.x("", null);
              ^
  found   : null (NullType)
  required: @Initialized @NonNull String
1 error