Undetected @Nullable annotation in super method

[sdeleuze]

With JSpecify mode enabled, I have this interface:

interface BodySpec<B, S extends BodySpec<B, S>> {
	<T extends S> T value(Consumer<@Nullable B> consumer);
}

Implemented in:

class DefaultBodySpec<B, S extends BodySpec<B, S>> implements BodySpec<B, S> {

	@Override
	public <T extends S> T value(Consumer<@Nullable B> consumer) {
		// ...
	}
}

Both are annotated with @Nullable but I get this error message:

error: [NullAway] Parameter has type Consumer<@org.jspecify.annotations.Nullable B>, but overridden method has parameter type Consumer<B>, which has mismatched type parameter nullability