anchor.diff:                  | SynExpr.Record(_inheritOpt, copyOpt, fields, _range) ->
                       fields 
                       |> List.tryPick walkRecordField
  -                    |> Option.orElse (Some(TypedRecord(ty, expr, copyOpt, fields)))
  +                    |> Option.orElse (Some { Expr = expr
  +                                             CopyExprOption = copyOpt
  +                                             FieldExprList = fields })
                   | _ -> 
                   walkExpr synExpr
   
  
positive.code:                 | SynExpr.Typed(SynExpr.Record(_inheritOpt, copyOpt, fields, _range0), _, _range1) ->
                      fields 
                      |> List.tryPick walkRecordField
                      |> Option.orElse (Some(TypedRecord(ty, expr, copyOpt, fields)))
                  | _ -> walkExpr expr
              | None ->
                  walkExpr expr
  
negative.code:                 |> List.tryPick walkRecordField
                  |> Option.orElse (
                      match fields with
                      | [] -> None
                      | _ ->
                          Some { Expr = expr
                                 CopyExprOption = copyOpt
                                 FieldExprList = fields })
  
              | SynExpr.ObjExpr(_ty, _baseCallOpt, binds, ifaces, _range1, _range2) -> 
                  List.tryPick walkBinding binds
  