package Ġch 0 9 . ex 2 _ 1 _ 2 _ Gener ics At Runtime Type Checks And Cast s 1 Ċ Ċ fun Ġprint Sum ( c : ĠCollection < Int >) Ġ{ ĊĠĠĠ Ġif Ġ( c Ġis ĠList < Int >) Ġ{ ĊĠĠĠĠĠĠĠ Ġprintln ( c . sum ()) ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġmain ( args : ĠArray < String >) Ġ{ ĊĠĠĠ Ġprint Sum ( listOf ( 1 , Ġ 2 , Ġ 3 )) Ċ } Ċ