// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ EXPRESSION Ċ // Ġ! LANGUAGE : Ġ+ New Inference Ċ Ċ fun Ġ< S > Ġselect ( var arg Ġargs : ĠS ): ĠS Ġ= ĠTODO () Ċ Ċ interface ĠRec < T Ġ: ĠRec < T >> Ċ Ċ interface ĠI 1 Ċ interface ĠI 2 Ġ: ĠI 1 Ċ interface ĠI 3 Ġ: ĠI 1 Ċ Ċ object ĠO 1 Ġ: ĠRec < O 1 >, ĠI 2 Ċ object ĠO 2 Ġ: ĠRec < O 2 >, ĠI 3 Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġval Ġc st Ġ= Ġselect ( O 1 , ĠO 2 ) ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE ("{ I 1 Ġ& ĠRec < *> }") !> cst <! > Ċ }