Variable still under initialization after constructor completes

Using checker 3.12.0. I would not expect f to still be under initialization when calling add. The constructor for the class Foo has completed, therefore f should be fully initialized.

/home/jpschewe/projects/checker-bugs/src/main/java/net/mtu/eggplant/checker/UnderInitializationAfterConstruction.java:16: error: [argument.type.incompatible] incompatible argument for parameter arg0 of add.
    l.add(f);
          ^
  found   : @UnderInitialization(net.mtu.eggplant.checker.UnderInitializationAfterConstruction.Foo.class) @NonNull Foo
  required: @Initialized @NonNull Foo

package net.mtu.eggplant.checker;

import java.util.List;
import java.util.LinkedList;

import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.initialization.qual.NotOnlyInitialized;

public class UnderInitializationAfterConstruction {

  private final List<Foo> l = new LinkedList<>();
  
  public UnderInitializationAfterConstruction() {
    final Foo f = new Foo(this);
    // at this point f should not be under initialization
    l.add(f);
  }


  private static final class Foo {
    private final @NotOnlyInitialized UnderInitializationAfterConstruction ref;
    public Foo(@UnknownInitialization UnderInitializationAfterConstruction ref) {
      this.ref = ref;
    }
  }
}