anchor.diff:      | _ -> 
           wfail(InternalError(sprintf "unhandled construct in AST: %A" expr,expr.Range))
   
  -and ConvLdfld  cenv env m (fspec: ILFieldSpec) enclTypeArgs args =
  +and ConvLdfld cenv env m (fspec: ILFieldSpec) enclTypeArgs args =
       let tyargsR = ConvTypes cenv env m enclTypeArgs
       let parentTyconR = ConvILTypeRefUnadjusted cenv m fspec.EnclosingTypeRef
       let argsR = ConvLValueArgs cenv env args
  
positive.code:     member env.BindTypars vs = 
          (env, vs) ||> List.fold (fun env v -> env.BindTypar v) // fold left-to-right because indexes are left-to-right 
  
  let BindFormalTypars (env:QuotationTranslationEnv)  vs = 
      { env with tyvs=Map.empty}.BindTypars vs 
  
  let BindVal env v = 
      let idx = env.nvs
      { env with vs = env.vs.Add v idx; nvs = env.nvs + 1 }
  
  let BindIsInstVal env v (ty,e) = 
      { env with isinstVals =  env.isinstVals.Add v (ty,e) }
  
  let BindSubstVal env v e = 
      { env with substVals = env.substVals.Add v e  }
  
negative.code:         let (numEnclTypeArgs,_,isNewObj,valUseFlags,isSelfInit,takesInstanceArg,isPropGet,isPropSet) = 
              GetMemberCallInfo cenv.g (vref,vFlags)
  
          let isMember,tps,curriedArgInfos,retTy =
              match vref.MemberInfo with 
              | Some _ when not vref.IsExtensionMember -> 
                  // This is an application of a member method
  