Bad redundant cast removal for @Nullable array

[ewillink]

Using Eclipse 4.25, the following code when saved by the JDT editor wth redundant cast removal active loses its cast and consequently acquires a compilation error.

package bug;

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

public class NonNullBug
{
	class InstanceClass
	{
		InstanceClass(@NonNull Object @NonNull [] boxedValues) {}
	}

	class FactoryClass
	{
		@SuppressWarnings("null")
		Object newInstance(@Nullable Object @NonNull [] boxedValues) {
			return new InstanceClass((@NonNull Object @NonNull [])boxedValues);
		}
	}
}

[iloveeclipse]

I assume you use some specific project compilation settings, because I can't see compilation errors reported after save/cast removal. Please attach the sample project including all settings you have.

[ewillink]

JavaBug.zip