anchor.diff:      
       let rfinfos = 
           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)
   
       let ucinfos = 
  -        if completionTargets.ResolveAll && statics  && isAppTy g typ then 
  +        if completionTargets.ResolveAll && statics && isAppTy g typ then 
               let tc,tinst = destAppTy g typ
               tc.UnionCasesAsRefList 
               |> List.filter (IsUnionCaseUnseen ad g ncenv.amap m >> not)
  
positive.code:     
  /// Add type definitions to the sub-table of the environment indexed by name and arity
  let AddTyconsByDemangledNameAndArity (bulkAddMode: BulkAdd) (tcrefs: TyconRef[]) (tab: LayeredMap<NameArityPair,TyconRef>) = 
      let entries = tcrefs |> Array.map (fun tcref -> KeyTyconByDemangledNameAndArity tcref.LogicalName tcref.TyparsNoRange tcref)
      match bulkAddMode with
      | BulkAdd.Yes -> tab.AddAndMarkAsCollapsible entries
      | BulkAdd.No -> (tab,entries) ||> Array.fold (fun tab (KeyValue(k,v)) -> tab.Add(k,v))
  
  /// Add type definitions to the sub-table of the environment indexed by access name 
  let AddTyconByAccessNames bulkAddMode (tcrefs:TyconRef[]) (tab: LayeredMultiMap<string,_>) = 
      let entries = tcrefs |> Array.collect (fun tcref -> KeyTyconByAccessNames tcref.LogicalName tcref)
      match bulkAddMode with
      | BulkAdd.Yes -> tab.AddAndMarkAsCollapsible entries
      | BulkAdd.No -> (tab,entries) ||> Array.fold (fun tab (KeyValue(k,v)) -> tab.Add (k,v))
  
negative.code: let GetNestedTypesOfType (ad, ncenv:NameResolver, optFilter, staticResInfo, checkForGenerated, m) typ =
      let g = ncenv.g
      ncenv.InfoReader.GetPrimaryTypeHierachy(AllowMultiIntfInstantiations.Yes,m,typ) |> List.collect (fun typ -> 
          match typ with 
          | AppTy g (tcref,tinst) ->
              let tycon = tcref.Deref
              let mty = tycon.ModuleOrNamespaceType
              // No dotting through type generators to get to a nested type!
  