// Ġ! WITH _ NEW _ IN FER ENCE Ċ package Ġaa Ċ Ċ fun Ġ< T , ĠR > Ġfoo ( block : Ġ( T )-> ĠR ) Ġ= Ġblock Ċ Ċ fun Ġtest 1 () Ġ{ ĊĠĠĠ Ġ<! NEW _ IN FER ENCE _ NO _ INFORMATION _ FOR _ PARAMETER { NI }, ĠTYPE _ IN FER ENCE _ NO _ INFORMATION _ FOR _ PARAMETER { OI }! > foo <! > Ġ{ ĊĠĠĠĠĠĠĠ Ġ<! CAN NOT _ IN FER _ PARAMETER _ TYPE !> x <! > Ġ-> Ġ Ġ// Ġhere Ġwe Ġhave Ġ' cannot Ġinfer Ġparameter Ġtype ' Ġerror ĊĠĠĠĠĠĠĠĠ 4 3 ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbar ( f : Ġ( <! UN RESOL VED _ REFERENCE !> A <! > )-> Unit ) Ġ{} Ċ Ċ fun Ġtest 2 () Ġ{ ĊĠĠĠ Ġbar Ġ{ Ġa Ġ-> Ġ} Ġ// Ġhere Ġwe Ġdon 't Ġhave Ġ' cannot Ġinfer Ġparameter Ġtype ' Ġerror Ċ } Ċ