mirror of
https://github.com/openjdk/jdk.git
synced 2026-04-04 20:18:49 +00:00
A previous fix to cast conversion has made the compiler too strict w.r.t. final cast Reviewed-by: jjg
A previous fix to cast conversion has made the compiler too strict w.r.t. final cast Reviewed-by: jjg