import Ġorg . junit . Test Ċ import Ġorg . junit . Assert Ċ Ċ class ĠTest Smart Cast s Ġ{ ĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġtest In verted Sorting () Ġ{ ĊĠĠĠĠĠĠĠ ĠAssert . assertEquals ( listOf ( 5 , Ġ 2 , Ġ 1 ), ĠgetList Object Expression ()) ĊĠĠĠ Ġ} Ċ } Ċ