anchor.diff:              []
       | [] -> []
   
  -/// returns fields for the given class or record
  +/// Returns fields for the given class or record
   let ResolveRecordOrClassFieldsOfType (ncenv: NameResolver) m ad typ statics = 
       ncenv.InfoReader.GetRecordOrClassFieldsOfType(None,ad,m,typ)
  -    |> List.filter (fun rfref -> rfref.IsStatic = statics  &&  IsFieldInfoAccessible ad rfref)
  +    |> List.filter (fun rfref -> rfref.IsStatic = statics && IsFieldInfoAccessible ad rfref)
       |> List.map Item.RecdField
   
   [<RequireQualifiedAccess>]
  
positive.code:     let typarmap = 
        List.foldBack 
          (fun (tp:Typar) sofar -> 
            begin match check with 
            | CheckForDuplicateTypars -> 
                if Map.containsKey tp.Name sofar then errorR (Duplicate("type parameter",tp.DisplayName,tp.Range))
            | NoCheckForDuplicateTypars -> 
                ()
            end
            Map.add tp.Name tp sofar) typars Map.empty 
      {nenv with eTypars=NameMap.layer typarmap nenv.eTypars }
  
  
  //-------------------------------------------------------------------------
  
negative.code:         |> List.choose (fun x -> if IsAccessible ad x.Accessibility then TryMkValRefInModRef modref x else None)
          |> List.toArray
      let nenv = AddValRefsToNameEnvWithPriority BulkAdd.Yes pri nenv vrefs
      let nestedModules = MakeNestedModuleRefs modref
      let nenv = (nenv,nestedModules) ||> AddModuleOrNamespaceRefsToNameEnv g amap m root ad 
      nenv
  
  /// Add a set of modules or namespaces to the name resolution environment
  