search

eclipse-jdt / eclipse.jdt.ui

Eclipse Public License 2.0
32 stars 79 forks source link

remove unnecessary casts #1473

Closed stephan-herrmann closed 3 weeks ago

stephan-herrmann commented 3 weeks ago

When https://github.com/eclipse-jdt/eclipse.jdt.core/pull/2471 is merged, ecj will signal more casts as unnecessary.

With this PR I suggest to remove affected casts before new errors/warnings will show up in the build.

jjohnstn commented 3 weeks ago

Hi @stephan-herrmann Sorry I restarted just after you did. I'll keep trying to get this rebuilt. I have had issues lately with the UI build taking too much time and being aborted.

stephan-herrmann commented 3 weeks ago

Hi @stephan-herrmann Sorry I restarted just after you did. I'll keep trying to get this rebuilt. I have had issues lately with the UI build taking too much time and being aborted.

thanks