// Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ EXPRESSION Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ VARIABLE Ġ- UNUSED _ VALUE Ġ- VARIABLE _ WITH _ RED UND ANT _ INITIAL IZER Ċ // ĠSKIP _ TXT Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 2 1 7 5 Ċ Ġ*/ Ċ fun Ġcase _ 1 ( x : ĠString ?) Ġ= Ġx Ċ fun Ġcase _ 1 ( x : ĠInt ?) Ġ= Ġx Ċ fun Ġcase _ 1 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġcase _ 1 ( <! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >) Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 2 Ċ fun Ġcase _ 2 ( x : ĠInt ?) Ġ= Ġx Ċ fun Ġcase _ 2 ( x : ĠNothing ?) Ġ= Ġx Ċ fun Ġcase _ 2 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġcase _ 2 ( <! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >) Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 3 Ċ fun Ġcase _ 3 ( x : ĠString ?) Ġ= Ġx Ċ fun Ġcase _ 3 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġcase _ 3 ( <! ARGUMENT _ TYPE _ MIS MATCH , ĠDEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >) Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 4 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 2 1 7 5 Ċ Ġ*/ Ċ fun ĠString ?. case _ 4 () Ġ= Ġthis Ċ fun ĠInt ?. case _ 4 () Ġ= Ġthis Ċ fun Ġcase _ 4 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. case _ 4 () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 5 Ċ fun ĠInt ?. case _ 5 () Ġ= Ġthis Ċ fun ĠNothing ?. case _ 5 () Ġ= Ġthis Ċ fun Ġcase _ 5 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. case _ 5 () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 6 Ċ fun ĠString ?. case _ 6 () Ġ= Ġthis Ċ fun Ġcase _ 6 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> case _ 6 <! >() Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 7 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 2 1 7 5 Ċ Ġ*/ Ċ fun Ġ< T Ġ: ĠString ?> ĠT . case _ 7 () Ġ= Ġthis Ċ fun Ġ< T Ġ: ĠInt ?> ĠT . case _ 7 () Ġ= Ġthis Ċ fun Ġcase _ 7 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. case _ 7 () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 8 Ċ fun Ġ< T Ġ: ĠInt ?> ĠT . case _ 8 () Ġ= Ġthis Ċ fun Ġ< T Ġ: ĠNothing ?> ĠT . case _ 8 () Ġ= Ġthis Ċ fun Ġcase _ 8 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. case _ 8 () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 9 Ċ fun Ġ< T Ġ: ĠString ?> ĠT . case _ 9 () Ġ= Ġthis Ċ fun Ġcase _ 9 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> case _ 9 <! >() Ċ } Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 0 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 2 1 7 5 Ċ Ġ*/ Ċ fun Ġ< T Ġ: Ġ<! FINAL _ UPPER _ BOUND !> String <! >> ĠT ?. case _ 1 0 () Ġ= Ġthis Ċ fun Ġ< T Ġ: Ġ<! FINAL _ UPPER _ BOUND !> Int <! >> ĠT ?. case _ 1 0 () Ġ= Ġthis Ċ fun Ġcase _ 1 0 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. case _ 1 0 () Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 1 Ċ fun Ġ< T Ġ: Ġ<! FINAL _ UPPER _ BOUND !> String <! >> ĠT ?. case _ 1 1 () Ġ= Ġthis Ċ fun Ġcase _ 1 1 () Ġ{ ĊĠĠĠ Ġvar Ġx : ĠInt ? Ġ= Ġ 1 0 ĊĠĠĠ Ġx Ġ= Ġnull ĊĠĠĠ Ġ<! DEBUG _ INFO _ EXPRESSION _ TYPE (" kotlin . Int ?") !> x <! >. <! IN AP PL IC ABLE _ C AND ID ATE !> case _ 1 1 <! >() Ċ } Ċ