Bug 583224

Summary: Incorrect warning about unsafe interpretation of method return type as '@Nonnull'
Product: [Eclipse Project] Incubator Reporter: BugReporter Eclipse <bugreportereclipse>
Component: e4Assignee: E4 Inbox <eclipse.e4-inbox>
Status: NEW --- QA Contact:
Severity: normal    
Priority: P3    
Version: unspecified   
Target Milestone: ---   
Hardware: PC   
OS: Windows 11   
Whiteboard:

Description BugReporter Eclipse CLA 2024-05-03 05:27:54 EDT 
Eclipse IDE 2023-12 (4.30.0) incorrectly warns about

"Unsafe interpretation of method return type as '@Nonnull' based on the receiver type 'Supplier<@Nonnull String>'. Type 'Supplier<T>' doesn't seem to be designed with null type annotations in mind"

for following code:

@Nonnull
public String get( Supplier<@Nonnull String> s ) {
	return s.get();
}