Bug 583224 - Incorrect warning about unsafe interpretation of method return type as '@Nonnull'
Summary: Incorrect warning about unsafe interpretation of method return type as '@Nonn...
Status: NEW
Alias: None
Product: Incubator
Classification: Eclipse Project
Component: e4 (show other bugs)
Version: unspecified   Edit
Hardware: PC Windows 11
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: E4 Inbox CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-05-03 05:27 EDT by BugReporter Eclipse CLA
Modified: 2024-05-03 05:27 EDT (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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();
}