Where does the inferred @NotNull come from?

I’ve been looking at Function.java from Microsoftjdk-17.0.11.9-hotspotlibsrc.zip!java.basejavautilfunctionFunction.java

Is there any “not null” annotation that does the actual job?

(Java 21, IntelliJ Idea 2024)