This code:

type SomeType = { TheField : string }

let f x =
    match x with
    | { TheField = "A" } -> true
    | {  = "B" } -> true
    | _ -> false

... doesn't suggest TheField for the pattern matching rule at any time.

I am quite sure this is a bug and a regression. This is implied by this bug and by common sense.