Bug 535812 - The fix 'Remove redundant nullness annotation' generated a null change.
Summary: The fix 'Remove redundant nullness annotation' generated a null change.
Status: REOPENED
Alias: None
Product: JDT
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 4.8   Edit
Hardware: PC Windows 7
: P3 normal (vote)
Target Milestone: ---   Edit
Assignee: JDT-UI-Inbox CLA
QA Contact:
URL:
Whiteboard: stalebug
Keywords: helpwanted
Depends on:
Blocks:
 
Reported: 2018-06-12 09:26 EDT by Clovis Seragiotto CLA
Modified: 2022-06-20 01:43 EDT (History)
1 user (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Clovis Seragiotto CLA 2018-06-12 09:26:06 EDT
A project with only one file, annotation-based null analysis is on.

----
package bar;

import org.eclipse.jdt.annotation.NonNull;
import org.eclipse.jdt.annotation.NonNullByDefault;

@NonNullByDefault
public class Bar {
    static void foo(Integer... values) {
        bar(values);
    }

    private static void bar(Integer @NonNull [] values) {
        System.out.println(values);
    }
}
----

The compiler complains that @NonNull is redundant. By choosing the fix "remove redundant null annotation", one gets:

eclipse.buildId=4.8.0.I20180531-0700
java.version=10.0.1
java.vendor=Oracle Corporation
BootLoader constants: OS=win32, ARCH=x86_64, WS=win32, NL=de_DE
Framework arguments:  -product org.eclipse.epp.package.dsl.product
Command-line arguments:  -os win32 -ws win32 -arch x86_64 -product org.eclipse.epp.package.dsl.product

org.eclipse.jdt.ui
Error
Tue Jun 12 15:22:22 CEST 2018
The fix 'Remove redundant nullness annotation' generated a null change.
Comment 1 Stephan Herrmann CLA 2020-06-10 03:35:01 EDT
.
Comment 2 Eclipse Genie CLA 2022-06-18 00:05:53 EDT
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

--
The automated Eclipse Genie.
Comment 3 Clovis Seragiotto CLA 2022-06-20 01:43:21 EDT
The problem still occurs