type t =
  | A of float#
  | B

let evaluate () =
  let[@inline] get () =
    let p = if Sys.opaque_identity true then A (Sys.opaque_identity #4.0) else B in
    match p with
    | A x -> x
    | B   -> assert false
  in
  let x = get () in
  x
;;