// ĠOriginal Ġbug : ĠK T - 4 1 3 0 5 Ċ Ċ sealed Ġclass ĠA Ġ{ ĊĠĠĠ Ġsealed Ġclass ĠB Ġ: ĠA () Ġ{ ĊĠĠĠĠĠĠĠ Ġobject ĠC Ġ: ĠB () ĊĠĠĠĠĠĠĠ Ġobject ĠD Ġ: ĠB () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġobject ĠZ Ġ: ĠA () Ċ } Ċ Ċ fun Ġtest ( a : ĠA ) Ġ{ ĊĠĠĠ Ġwhen Ġ( a ) Ġ{ ĊĠĠĠĠĠĠĠ Ġis ĠA . B Ġ-> Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġwhen Ġ( a ) Ġ{ ĠĠ Ġ// Ġ<-- Ġincorrect Ġwarning : ĠNON _ EX HA UST IVE _ WHEN _ ON _ SE AL ED _ CLASS Ġ' when ' Ġexpression Ġon Ġsealed Ġclasses Ġis Ġrecommended Ġto Ġbe Ġex haustive , Ġadd Ġ' Z ' Ġbranch Ġor Ġ' else ' Ġbranch Ġinstead ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġis ĠA . B . C Ġ-> Ġ{} ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġis ĠA . B . D Ġ-> Ġ{} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġis ĠA . Z Ġ-> Ġ{} ĊĠĠĠ Ġ} Ċ } Ċ