// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ċ // ĠFILE : ĠA . java Ċ Ċ import Ġjava . util .*; Ċ Ċ public Ġclass ĠA Ġ{ ĊĠĠĠ Ġvoid Ġfoo ( List < Object > Ġx ) Ġ{} ĊĠĠĠ Ġvoid Ġfoo ( Iterable < Object > Ġx ) Ġ{} ĊĠĠĠ Ġvoid Ġfoo ( Iterator < Object > Ġx ) Ġ{} ĊĠĠĠ Ġvoid Ġfoo ( Set < Object > Ġx ) Ġ{} ĊĠĠĠ Ġvoid Ġfoo ( Map < Object , ĠObject > Ġx ) Ġ{} ĊĠĠĠ Ġvoid Ġfoo ( Map . Entry < Object , ĠObject > Ġx ) Ġ{} ĊĊĠĠĠ Ġvoid Ġfoo ( List < List < Object >> Ġx ) Ġ{} Ċ } Ċ Ċ // ĠFILE : Ġmain . kt Ċ Ċ fun Ġmain ( ĊĠĠĠĠĠĠĠ Ġa : ĠA , ĊĠĠĠĠĠĠĠ Ġml : ĠMutable List < String >, Ġl : ĠList < String >, ĊĠĠĠĠĠĠĠ Ġms : ĠMutable Set < String >, Ġs : ĠSet < String >, ĊĠĠĠĠĠĠĠ Ġmm : ĠMutable Map < Any , ĠString >, Ġm : ĠMap < Any , ĠString >, ĊĠĠĠĠĠĠĠ Ġmme : ĠMutable Map . Mutable Entry < Any , ĠString >, Ġme : ĠMap . Entry < Any , ĠString >, ĊĠĠĠĠĠĠĠ Ġm ll : ĠMutable List < Mutable List < String >>, Ġll : ĠList < List < String >> Ċ ) Ġ{ ĊĠĠĠ Ġ// ĠLists ĊĠĠĠ Ġa . foo ( ml ) ĊĠĠĠ Ġa . foo ( l ) ĊĠĠĠ Ġa . foo ( ml Ġas ĠMutable List < Any >) ĊĠĠĠ Ġa . foo ( l Ġas ĠList < Any >) ĊĊĠĠĠ Ġ// ĠIter ables ĊĠĠĠ Ġval Ġmit : ĠMutable Iterable < String > Ġ= Ġml ĊĠĠĠ Ġval Ġit : ĠIterable < String > Ġ= Ġml ĊĠĠĠ Ġa . foo ( mit ) ĊĠĠĠ Ġa . foo ( it ) ĊĊĠĠĠ Ġ// ĠIter ators ĊĠĠĠ Ġa . foo ( ml . iterator ()) ĊĠĠĠ Ġa . foo ( l . iterator ()) ĊĊĠĠĠ Ġ// ĠSets ĊĠĠĠ Ġa . foo ( ms ) ĊĠĠĠ Ġa . foo ( s ) ĊĠĠĠ Ġa . foo ( ms Ġas ĠMutable Set < Any >) ĊĠĠĠ Ġa . foo ( s Ġas ĠSet < Any >) ĊĊĠĠĠ Ġ// ĠMaps ĊĠĠĠ Ġa . foo ( mm ) ĊĠĠĠ Ġa . foo ( m ) ĊĠĠĠ Ġa . foo ( mm Ġas ĠMutable Map < Any , ĠAny >) ĊĠĠĠ Ġa . foo ( m Ġas ĠMap < Any , ĠAny >) ĊĊĠĠĠ Ġ// ĠMap Ġentries ĊĠĠĠ Ġa . foo ( mme ) ĊĠĠĠ Ġa . foo ( me ) ĊĠĠĠ Ġa . foo ( mme Ġas ĠMutable Map . Mutable Entry < Any , ĠAny >) ĊĠĠĠ Ġa . foo ( me Ġas ĠMap . Entry < Any , ĠAny >) ĊĊĠĠĠ Ġ// ĠLists Ġof Ġlists ĊĠĠĠ Ġa . foo ( m ll ) ĊĠĠĠ Ġa . foo ( ll ) ĊĠĠĠ Ġa . foo ( m ll Ġas ĠMutable List < Mutable List < Any >>) ĊĠĠĠ Ġa . foo ( ll Ġas ĠList < List < Any >>) Ċ Ċ } Ċ