Community
Participate
Working Groups
When compiling the following code: public class Test { public static class Single<A> { } public static class Dual<A, B> extends Single<A> { } public Test() { Single<String> test = new Single<>(); Dual<String, ? > test2 = (Dual<String, ? >) test; } } ECJ gives the warning 'Type safety: Unchecked cast from Test.Single<String> to Test.Dual<String,?>', which it should not. The first type parameter is already bound to 'String', so there's no unchecked cast. javac does not give a warning.
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.
This but still exists in 4.16. I still get the same warning.
Still reproducible with 4.22.
This bug is no longer reproducible in 4.30, so it can be closed.
