anchor.diff:  
       (callExpr6, finalAttributeAssignedNamedItems, delayed), tpenv
   
  +/// For Method(X = expr) 'X' can be a property, IL Field or F# record field
   and TcSetterArgExpr cenv env denv objExpr ad (AssignedItemSetter(id, setter, CallerArg(callerArgTy, m, isOptCallerArg, argExpr))) =
       let g = cenv.g
   
  
positive.code:     // Bind "out" parameters as part of the result tuple
      let callExpr2, exprTy =
          let expr = callExpr1
          if isNil outArgTmpBinds then expr, exprTy
          else
              let outArgTys = outArgExprs |> List.map (tyOfExpr g)
              let expr =
  
negative.code:                     errorR (Error (FSComp.SR.tcPropertyCannotBeSet1 nm, mItem))
                  // x.P <- ... byref setter
                  if isNil meths then error (Error (FSComp.SR.tcPropertyIsNotReadable nm, mItem))
                  TcMethodApplicationThen cenv env overallTy None tpenv tyArgsOpt objArgs mExprAndItem mItem nm ad PossiblyMutates true meths afterResolution NormalValUse args atomicFlag delayed
              else
                  let args = if pinfo.IsIndexer then args else []
                  let mut = (if isStructTy g (tyOfExpr g objExpr) then DefinitelyMutates else PossiblyMutates)
                  TcMethodApplicationThen cenv env overallTy None tpenv tyArgsOpt objArgs mStmt mItem nm ad mut true meths afterResolution NormalValUse (args @ [e2]) atomicFlag []
          | _ ->
              // Instance property getter
              let meths = GettersOfPropInfos pinfos
              if isNil meths then error (Error (FSComp.SR.tcPropertyIsNotReadable nm, mItem))
              TcMethodApplicationThen cenv env overallTy None tpenv tyArgsOpt objArgs mExprAndItem mItem nm ad PossiblyMutates true meths afterResolution NormalValUse args atomicFlag delayed
  
      | Item.RecdField rfinfo ->
          // Get or set instance F# field or literal
  