anchor.diff:                      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
  +                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 []
  +                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
  +            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
  
positive.code:     | otherDelayed ->
          (ExprAtomicFlag.NonAtomic, None, [], otherDelayed, tpenv)
  
  and TcMemberTyArgsOpt cenv env tpenv tyargsOpt =
      match tyargsOpt with
      | None -> None, tpenv
      | Some (tyargs, mTypeArgs) ->
          let tyargsChecked, tpenv = TcTypesOrMeasures None cenv NewTyparsOK CheckCxs ItemOccurence.UseInType env tpenv tyargs mTypeArgs
          Some tyargsChecked, tpenv
  
  and GetMemberApplicationArgs delayed cenv env tpenv =
      let atomicFlag, tyargsOpt, args, delayed, tpenv = GetSynMemberApplicationArgs delayed tpenv
      let tyArgsOptChecked, tpenv = TcMemberTyArgsOpt cenv env tpenv tyargsOpt
      atomicFlag, tyArgsOptChecked, args, delayed, tpenv
  
  and TcLookupThen cenv overallTy env tpenv mObjExpr objExpr objExprTy longId delayed mExprAndLongId =
  
negative.code:     finalCalledMeth.AssociatedPropertyInfo |> Option.iter (fun pinfo -> CheckPropInfoAttributes pinfo mItem |> CommitOperationResult)
  
      let isInstance = not (isNil objArgs)
  
      MethInfoChecks g cenv.amap isInstance tyArgsOpt objArgs ad mItem finalCalledMethInfo
  
      TcAdhocChecksOnLibraryMethods cenv env isInstance finalCalledMeth finalCalledMethInfo objArgs mMethExpr mItem
  
      if not finalCalledMeth.IsIndexParamArraySetter &&
         (finalCalledMeth.ArgSets |> List.existsi (fun i argSet -> argSet.UnnamedCalledArgs |> List.existsi (fun j ca -> ca.Position <> (i, j)))) then
  