// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ċ // ĠFILE : ĠA . java Ċ Ċ import Ġjava . util . List ; Ċ Ċ public Ġinterface ĠA < T Ġextends ĠA > Ġ{} Ċ // ĠFILE : Ġmain . kt Ċ Ċ class ĠD Ġ: ĠA < D > Ċ Ċ fun Ġmain ( x : ĠA <* >) Ġ{ ĊĠĠĠ Ġif Ġ( x Ġis ĠD ) Ġ{ ĊĊĠĠĠ Ġ} Ċ }