Mismatched nullability of type parameters in sub-expression

[sdeleuze]

With the JSpecify mode enabled, I have a method defined as:

protected @Nullable ParameterNameDiscoverer getParameterNameDiscoverer() {
	return this.parameterNameDiscoverer;
}

And an interface defined as:

public interface ParameterNameDiscoverer {
	@Nullable String @Nullable [] getParameterNames(Method method);
	@Nullable String @Nullable [] getParameterNames(Constructor<?> ctor);
}

Used in:

ParameterNameDiscoverer paramNameDiscoverer = getParameterNameDiscoverer();
		@Nullable String[] paramNames = (paramNameDiscoverer != null ? paramNameDiscoverer.getParameterNames(method) : null);

Which generate the following error:

 error: [NullAway] Conditional expression must have type String[] but the sub-expression has type @Nullable String[], which has mismatched nullability of type parameters

Looks like a valid use case to me.