// ĠJAVA _ SOURCES : ĠNon Platform Type Parameter . java Ċ // ĠJS PEC IFY _ STATE Ġwarn Ċ Ċ fun Ġ< T Ġ: ĠTest > Ġmain ( a 1 : ĠNon Platform Type Parameter < Any ? >, Ġa 2 : ĠNon Platform Type Parameter < Test >, Ġx : ĠT ): ĠUnit Ġ{ ĊĠĠĠ Ġa 1 . foo ( null ) ĊĠĠĠ Ġa 1 . bar < Test ? >( null ) ĊĠĠĠ Ġ// Ġj specify _ null ness _ mismatch ĊĠĠĠ Ġa 1 . bar < T >( null ) ĊĠĠĠ Ġa 1 . bar < T >( x ) ĊĊĠĠĠ Ġ// Ġj specify _ null ness _ mismatch ĊĠĠĠ Ġa 2 . foo ( null ) ĊĠĠĠ Ġa 2 . bar < Test ? >( null ) ĊĠĠĠ Ġ// Ġj specify _ null ness _ mismatch ĊĠĠĠ Ġa 2 . bar < T >( null ) ĊĠĠĠ Ġa 2 . bar < T >( x ) Ċ }