// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ EXPRESSION Ċ Ċ /* Ċ Ġ* ĠK OT LIN ĠDI AG NO ST ICS ĠSPEC ĠTEST Ġ( NEGATIVE ) Ċ Ġ* Ċ Ġ* ĠSPEC ĠVERSION : Ġ 0 . 1 - draft Ċ Ġ* ĠPL ACE : Ġwhen - expression Ġ-> Ġparagraph Ġ 1 1 Ġ-> Ġsentence Ġ 1 Ċ Ġ* ĠNUMBER : Ġ 2 Ċ Ġ* ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġwhen Ġwith Ġbound Ġvalue Ġwhen Ġthere Ġis Ġno Ġelse Ġbranch . Ċ Ġ*/ Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 Ċ fun Ġcase _ 1 ( value _ 1 : ĠInt ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ( value _ 1 ) Ġ{ ĊĠĠĠĠ 1 Ġ-> Ġ"" ĊĠĠĠĠ 2 Ġ-> Ġ"" ĊĠĠĠĠ 3 Ġ-> Ġ"" Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 2 Ċ fun Ġcase _ 2 ( value _ 1 : ĠInt ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ( value _ 1 ) Ġ{ ĊĠĠĠĠ 1 Ġ-> Ġ"" Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 3 Ċ fun Ġcase _ 3 ( value _ 1 : ĠInt ): ĠInt Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ( value _ 1 ) Ġ{} Ċ