// Ġ! CHECK _ TYPE Ċ // ĠNI _ EXPECTED _ FILE Ċ private Ġclass ĠO uter < E > Ġ{ ĊĠĠĠ Ġprivate Ġinner Ġclass ĠInner < out ĠF > Ġ{ ĊĠĠĠĠĠĠĠ Ġprivate Ġfun Ġ< G > Ġfoo () Ġ= Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġbaz () Ġ= Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġclass ĠLocal Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġe : ĠE Ġ= Ġmagic () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġf : ĠF Ġ= Ġmagic () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġg : ĠG Ġ= Ġmagic () ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ ĠLocal () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġbaz () () ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġprivate Ġvar Ġdouble CharSequence Int Ġ= ĠO uter < Double >(). Inner < CharSequence >(). foo < Int >() () ĊĠĠĠĠĠĠĠ Ġprivate Ġvar Ġdouble String Number Ġ= ĠO uter < Double >(). Inner < String >(). foo < Number >() () ĊĠĠĠĠĠĠĠ Ġprivate Ġvar Ġdouble String Int Ġ= ĠO uter < Double >(). Inner < String >(). foo < Int >() () ĊĊĠĠĠĠĠĠĠ Ġprivate Ġfun Ġbar () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdouble CharSequence Int Ġ= Ġdouble String Number ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdouble CharSequence Int Ġ= Ġdouble String Int ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġdouble String Int Ġ= ĠO uter < Double >(). Inner < String >(). foo < Int >() () ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġdouble String Int . e . check Type Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< Double >() Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdouble String Int . f . check Type Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< String >() Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġdouble String Int . g . check Type Ġ{ Ġ<! IN AP PL IC ABLE _ C AND ID ATE ! >_ <! >< Int >() Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġ< T > Ġmagic (): ĠT Ġ= Ġnull !! Ċ