mirror of
https://github.com/openjdk/jdk.git
synced 2026-04-03 19:48:46 +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