Pattern matching exhaustiveness for records

[alex-snezhko]

The following program does not complain at compile-time but will fail at runtime

module Main
record T { a: Option<String> }
match ({ a: Some("b") }) {
  { a: None } => void,
}

[spotandjake]

This might be related to #2219