// Ġ! WITH _ NEW _ IN FER ENCE Ċ // ĠNI _ EXPECTED _ FILE Ċ // ĠK T - 6 8 2 2 ĠSmart Ġcast Ġdoesn 't Ġwork Ġinside Ġlocal Ġreturned Ġexpression Ġin Ġlambda ĠĊ Ċ val Ġa Ġ/* Ġ:( Int ?) Ġ-> ĠInt ? Ġ*/ Ġ= Ġl @ Ġ{ Ġit : ĠInt ? Ġ-> Ġ// Ġbut Ġmust Ġbe Ġ( Int ?) Ġ-> ĠInt ĊĠĠĠ Ġif Ġ( it Ġ!= Ġnull ) Ġreturn @ l Ġit ĊĠĠĠĠ 5 Ċ } Ċ Ċ fun Ġ< R > Ġlet ( <! UNUSED _ PARAMETER !> f <! >: Ġ( Int ?) Ġ-> ĠR ): ĠR Ġ= Ġnull !! Ċ Ċ val Ġb Ġ/* : ĠInt ? Ġ*/ Ġ= Ġlet Ġ{ Ġ// Ġbut Ġmust Ġbe ĠInt ĊĠĠĠ Ġif Ġ( it Ġ!= Ġnull ) Ġreturn @ let Ġ<! DEBUG _ INFO _ SM ART CAST { NI }! > it <! > ĊĠĠĠĠ 5 Ċ } Ċ Ċ val Ġc Ġ/* : ĠInt */ Ġ= Ġlet Ġ{ ĊĠĠĠ Ġif Ġ( it Ġ!= Ġnull ) Ġ<! DEBUG _ INFO _ SM ART CAST !> it <! > Ġelse Ġ 5 Ċ } Ċ