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:             | SynExpr.Const(_synConst, _range) -> 
                  None
  
              | SynExpr.Typed(synExpr, _ty, _) ->
                  match synExpr with
                  // Situation 1:
                  // NOTE: 'buggy' parse tree when a type annotation is given before the '=' (but workable corner case)
  