engine: F*: wrong field name for enum variant with record payload

[W95Psp]

enum Enum {
    A,
    B { x: usize },
}
fn f() {
    let v = Enum::B { x: 3 };
    match v {
        Enum::A => (),
        Enum::B {x} => (),        
    }
}

Open this code snippet in the playground

extracts to:

type t_Enum =
  | Enum_A : t_Enum
  | Enum_B { f_x:usize }: t_Enum

let f (_: Prims.unit) : Prims.unit =
  let v:t_Enum =
    Enum_B
    ({ Playground.Enum.f_x = sz 3 })
    <:
    t_Enum
  in
  match v with
  | Enum_A  -> () <: Prims.unit
  | Enum_B { Playground.Enum.f_x = x } ->
    () <: Prims.unit

The second last line is wrong: Playground.Enum is not the namespace of the field Enum::x.