// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ VARIABLE Ġ- UNUSED _ PARAMETER Ġ- TOP LEVEL _ TYPE ALI ASE S _ ONLY Ċ // Ġ! CHECK _ TYPE Ċ open Ġclass ĠO uter < X , ĠY > Ġ{ ĊĠĠĠ Ġinner Ġclass ĠInner < Z > ĊĠĠĠ Ġtype alias ĠAlias < W > Ġ= ĠMap < W , ĠX > Ċ } Ċ Ċ open Ġclass ĠBase Derived 1 < E , ĠF > Ġ: ĠO uter < F , ĠE >() Ċ open Ġclass ĠBase Derived 2 < X > Ġ: ĠBase Derived 1 < String , ĠX >() Ċ Ċ class ĠDerived Ġ: ĠBase Derived 2 < Int >() Ġ{ ĊĠĠĠ Ġfun Ġfoo (): ĠInner < Char > Ġ= Ġnull !! ĊĠĠĠ Ġfun Ġbaz (): Ġ<! UN RESOL VED _ REFERENCE !> Alias < Char >< !> Ġ= Ġnull !! Ċ } Ċ Ċ fun Ġfoo () Ġ{ ĊĠĠĠ ĠDerived (). foo () Ġcheck Type Ġ{ Ġ_ < Outer < Int , ĠString >. Inner < Char >>() Ġ} ĊĠĠĠ ĠDerived (). baz () Ġ<! IN AP PL IC ABLE _ C AND ID ATE !> check Type <! > Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< Map < Char , ĠInt >>() Ġ} Ċ } Ċ