// Ġ! CHECK _ TYPE Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ EXPRESSION Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ VALUE Ġ- ASS IGNED _ B UT _ NE VER _ ACC ES SED _ VARIABLE Ċ Ċ class ĠO uter < T > Ġ{ ĊĠĠĠ Ġinner Ġclass ĠInner ĊĠĠĠ Ġfun Ġfoo ( x : ĠO uter < String >. Inner , Ġy : Ġ<! WRONG _ NUMBER _ OF _ TYPE _ ARGUMENT S !> Outer <! >. Inner , Ġz : ĠInner ) Ġ{ ĊĠĠĠĠĠĠĠ Ġvar Ġinner Ġ= ĠInner () ĊĠĠĠĠĠĠĠ Ġx . check Type Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< Inner >() Ġ} ĊĠĠĠĠĠĠĠ Ġx . check Type Ġ{ Ġ_ < Outer < String >. Inner >() Ġ} ĊĠĠĠĠĠĠĠ Ġz . check Type Ġ{ Ġ_ < Inner >() Ġ} ĊĠĠĠĠĠĠĠ Ġz . check Type Ġ{ Ġ_ < Outer < T >. Inner >() Ġ} ĊĊĠĠĠĠĠĠĠ Ġinner Ġ= Ġ<! ASSIGN MENT _ TYPE _ MIS MATCH !> x <! > ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġclass ĠNested ĊĠĠĠ Ġfun Ġbar ( x : ĠO uter . Nested ) Ġ{ ĊĠĠĠĠĠĠĠ Ġvar Ġnested Ġ= ĠNested () ĊĠĠĠĠĠĠĠ Ġnested Ġ= Ġx ĊĊĠĠĠĠĠĠĠ Ġx . check Type Ġ{ Ġ_ < Nested >() Ġ} ĊĠĠĠ Ġ} Ċ } Ċ