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:                 | SynExpr.Record(_inheritOpt, copyOpt, fields, _range) ->
                      fields 
                      |> List.tryPick walkRecordField
                      |> Option.orElse (Some(TypedRecord(ty, expr, copyOpt, fields)))
                  | _ -> 
                  walkExpr synExpr
  
  
negative.code: let inline setDebugObject (_: 'a) = ()
  #endif
  
  [<NoEquality; NoComparison>]
  type RecordExpr = {
      Expr: SynExpr
      CopyExprOption: option<SynExpr * BlockSeparator>
      FieldExprList: (RecordFieldName * SynExpr option * BlockSeparator option) list
  }
  
  
  [<RequireQualifiedAccess>]
  [<NoComparison>]
  