// Ġ! WITH _ NEW _ IN FER ENCE Ċ // Ġ! DIAG NO ST ICS : Ġ- DEBUG _ INFO _ SM ART CAST Ċ fun Ġbar ( x : ĠInt ): ĠInt Ġ= Ġx Ġ+ Ġ 1 Ċ Ċ fun Ġfoo (): ĠInt Ġ{ ĊĠĠĠ Ġval Ġx : ĠInt ? Ġ= Ġnull ĊĊĠĠĠ Ġbar ( <! TYPE _ MIS MATCH !> x <! >) ĊĠĠĠ Ġif Ġ( x Ġ!= Ġnull ) Ġreturn Ġx ĊĠĠĠĠĊĠĠĠ Ġval Ġy : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġif Ġ( y Ġ== Ġnull ) Ġreturn Ġ<! NI ; TYPE _ MIS MATCH , ĠNI ; TYPE _ MIS MATCH !> if Ġ( <! S ENSE LESS _ COMP AR IS ON ! >< ! DEBUG _ INFO _ CONSTANT !> y <! > Ġ!= Ġnull <! >) Ġy Ġelse Ġ<! OI ; TYPE _ MIS MATCH , ĠDEBUG _ INFO _ CONSTANT !> y <! >< !> ĊĠĠĠĠĊĠĠĠ Ġval Ġz : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġif Ġ( z Ġ!= Ġnull ) Ġreturn Ġif Ġ( <! S ENSE LESS _ COMP AR IS ON !> z Ġ== Ġnull <! >) Ġz Ġelse Ġz ĊĠĠĠĠĊĠĠĠ Ġreturn Ġ<! NI ; TYPE _ MIS MATCH , ĠDEBUG _ INFO _ CONSTANT , ĠTYPE _ MIS MATCH !> z <! > Ċ } Ċ