Incorrect annotations on enclosing type type parameters

@SuppressWarnings("initialization.fields.uninitialized")
public abstract class EnclosingType<T extends @Nullable Number> {
    abstract class Inner{
        abstract T get();
        abstract void set(T t);
    }
    Inner i;
    T t;
    void setI(Inner i) {
        i.set(this.i.get());  // error here
    }
}

I expected no error, but the following was issued:

error: [argument.type.incompatible] incompatible argument for parameter t of set.
        i.set(this.i.get());
                        ^
  found   : T[ extends @Initialized @Nullable Number super @Initialized @NonNull Void]
  required: T[ extends @Initialized @NonNull Number super @Initialized @NonNull Void]

The explicit annotation on the bound of T is ignored.

Start with the Java reproducer in the issue and trace how the Checker Framework processes the @Nullable bound on EnclosingType. Identify the type-annotation handling responsible for the mismatch, then verify that i.set(this.i.get()) is accepted without changing unrelated diagnostics.