[Typer] [Git][monnier/typer][master] (check): Check exhaustiveness of `Case`