and similarly, does anybody know how to force a wh...

# announcements

[groostav]

and similarly, does anybody know how to force a when statement to be exhaustive? the only thing I can think is

val _ = when(...){
  //fully enumerated switch
}