// Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ EXPRESSION Ċ Ċ // ĠFILE : ĠJava Test . java Ċ Ċ public Ġclass ĠJava Test Ġ{ ĊĠĠĠ Ġpublic Ġstatic ĠNumber [] Ġcreate Number Array () Ġ{ Ġreturn Ġnull ; Ġ} Ċ } Ċ Ċ // ĠFILE : Ġtest . kt Ċ Ċ fun Ġ< K > Ġselect ( x : ĠK , Ġy : ĠK ): ĠK Ġ= Ġx Ċ Ċ fun Ġ< R > Ġfoo ( f : Ġ() Ġ-> ĠR ): ĠR Ġ= Ġf () Ċ Ċ fun Ġtest ( n : ĠNumber ) Ġ{ ĊĠĠĠ Ġval Ġa Ġ= Ġselect ( foo Ġ{ ĠJava Test . create Number Array () Ġ}, Ġempty Array ()) ĊĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE ("( kotlin . Array <( kotlin . Number .. kotlin . Number ?) > .. kotlin . Array < out Ġ( kotlin . Number .. kotlin . Number ?) > ?) ") !> a <! > Ċ }