``` type t = {b?: option<int>} let a: t = Obj.magic() switch a { | {b: None} => () | {b: Some(_)} => () } ``` gives warning: ``` [W] Line 5, column 0: You forgot to handle a possible case here, for example: | {b: None, _} ``` you could even add that particular case: ``` switch a { | {b: None, _} => () | {b: Some(_)} => () } ``` and you'll still get the exact same warning