// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ċ // ĠFILE : ĠA . java Ċ Ċ import Ġjava . util .*; Ċ Ċ public Ġclass ĠA Ġ{ ĊĠĠĠ Ġvoid Ġfoo ( List < Object > Ġx ) Ġ{} Ċ } Ċ // ĠFILE : Ġmain . kt Ċ Ċ fun Ġmain ( a : ĠA , Ġml : ĠAny ) Ġ{ ĊĠĠĠ Ġif Ġ( ml Ġis Ġ<! CAN NOT _ CHECK _ FOR _ ER ASE D !> Mutable List < String >< ! >) Ġ{ ĊĠĠĠĠĠĠĠ Ġa . foo ( <! JAVA _ TYPE _ MIS MATCH !> ml <! >) ĊĠĠĠĠĠĠĠ Ġa . foo ( ml Ġ<! UN CHECK ED _ CAST !> as ĠList < Any >< ! >) ĊĠĠĠ Ġ} Ċ } Ċ