package Ġfirst Ċ Ċ import Ġutil .* Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġtop Level Fun ( top Level Var ) ĊĠĠĠ Ġtop Level Fun ( top Level Val ) ĊĠĠĠ Ġval Ġc Ġ= ĠC (" ff ", Ġ 1 ) ĊĠĠĠ Ġc . s .< error Ġdescr ="[ UN RESOL VED _ REFERENCE ] ĠUn resolved Ġreference : Ġinvalid "> invalid </ error > ĊĠĠĠ Ġval Ġ< warning Ġdescr ="[ UNUSED _ VARIABLE ] ĠVariable Ġ' b ' Ġis Ġnever Ġused "> b </ warning > Ġ= ĠB () ĊĠĠĠ Ġfun With Var arg ( 1 , Ġ 2 , Ġ 3 ) ĊĠĠĠ Ġval Ġ< warning Ġdescr ="[ UNUSED _ VARIABLE ] ĠVariable Ġ' i ' Ġis Ġnever Ġused "> i </ warning > Ġ= ĠInvalid () ĊĠĠĠ Ġtop Level Object . f () ĊĠĠĠ Ġtop Level Object . g () Ċ Ġ} Ċ Ċ fun Ġtest Where ( list : ĠList < Int >) Ġ{ ĊĠĠĠ Ġfun With Where ( 1 , Ġlist ) ĊĠĠĠ Ġfun With Where ( 1 , Ġ< error Ġdescr ="[ CONSTANT _ EXPECTED _ TYPE _ MIS MATCH ] ĠThe Ġinteger Ġliteral Ġdoes Ġnot Ġconform Ġto Ġthe Ġexpected Ġtype ĠCollection < Type Variable ( G )> "> 2 </ error >) Ċ } Ċ Ċ class ĠExample Ġ: ĠC (" foo ", Ġ 0 ) Ċ class ĠExample 2 Ġ: Ġ< error Ġdescr ="[ FINAL _ SUPER TYPE ] ĠThis Ġtype Ġis Ġfinal , Ġso Ġit Ġcannot Ġbe Ġinherited Ġfrom "> A </ error >( 2 ) Ċ