anchor.diff:              //debug "BindingReturnInfo: %A" retTy
               //debug "Expr: %A" expr
               match retTy with
  -            | Some(SynBindingReturnInfo(ty, _range, _attributes)) ->
  +            | Some(SynBindingReturnInfo(_ty, _range, _attributes)) ->
                   //debug "ReturnTypeInfo: %A" ty
                   match expr with
                   // Situation 1:
  
positive.code: let inline setDebugObject (_: 'a) = ()
  #endif
  
  type CopyExpr = SynExpr * BlockSeparator
  type FieldExprList = (RecordFieldName * SynExpr option * BlockSeparator option) list
  
  [<NoEquality; NoComparison>]
  type RecordExpr =
      | TypedRecord of SynType * SynExpr * option<CopyExpr> * FieldExprList
      | RecordWithQualifiedField of SynExpr * option<CopyExpr> * FieldExprList
      | RecordWithNonQualifiedField of SynExpr * option<CopyExpr> * FieldExprList
  
      member x.CopyExprOption =
          match x with
          | TypedRecord(_, _, copyExprOpt, _)
          | RecordWithQualifiedField(_, copyExprOpt, _)
          | RecordWithNonQualifiedField(_, copyExprOpt, _) -> copyExprOpt
  
      member x.Expr =
          match x with
          | TypedRecord(_, expr, _, _)
          | RecordWithQualifiedField(expr, _, _)
          | RecordWithNonQualifiedField(expr, _, _) -> expr
  
      member x.FieldExprList =
          match x with
          | TypedRecord(_, _, _, fieldExpressions)
          | RecordWithQualifiedField(_, _, fieldExpressions)
          | RecordWithNonQualifiedField(_, _, fieldExpressions) -> fieldExpressions
  
  [<RequireQualifiedAccess>]
  [<NoComparison>]
  
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
  