anchor.diff:                       |> List.filter (fun tcref -> not (tcref.LogicalName.Contains(",")))
                        |> List.filter (fun tycon -> not (IsTyconUnseen ad g ncenv.amap m (modref.NestedTyconRef tycon)))
   
  -                 // Get all the types and .NET constructor groups accessible from here 
  -                 yield! tycons |> List.map (modref.NestedTyconRef >> ItemOfTyconRef ncenv m)
  -                 yield! tycons |> List.collect (modref.NestedTyconRef >> InfosForTyconConstructors ncenv m ad)
  +                 // Get all the types and .NET constructor groups accessible from here
  +                 let nestedTycons = tycons |> List.map modref.NestedTyconRef
  +                 yield! nestedTycons |> List.map (ItemOfTyconRef ncenv m)
  +                 yield! nestedTycons |> List.collect (InfosForTyconConstructors ncenv m ad)
           
           | id :: rest  -> 
           
  -            match mty.ModulesAndNamespacesByDemangledName.TryFind(id) with
  -            | Some mspec 
  -                when not (IsTyconUnseenObsoleteSpec ad g ncenv.amap m (modref.NestedTyconRef mspec) true) -> 
  -                yield! ResolvePartialLongIdentInModuleOrNamespaceForItem ncenv nenv m ad (modref.NestedTyconRef mspec) rest item
  +            match mty.ModulesAndNamespacesByDemangledName.TryFind id with
  +            | Some mspec -> 
  +                let nested = modref.NestedTyconRef mspec
  +                if not (IsTyconUnseenObsoleteSpec ad g ncenv.amap m nested true) then
  +                    yield! ResolvePartialLongIdentInModuleOrNamespaceForItem ncenv nenv m ad nested rest item
               | _ -> ()
           
               for tycon in LookupTypeNameInEntityNoArity m id modref.ModuleOrNamespaceType do
  
positive.code:        @ (tycons |> List.map (modref.NestedTyconRef >> ItemOfTyconRef ncenv m) )
         @ [ // accessible record fields
              for tycon in tycons do
                  if IsEntityAccessible ncenv.amap m ad (modref.NestedTyconRef tycon) then
                      let ttype = FreshenTycon ncenv m (modref.NestedTyconRef tycon)
                      yield! 
                          ncenv.InfoReader.GetRecordOrClassFieldsOfType(None, ad, m, ttype)
                          |> List.map Item.RecdField
  
negative.code:     | id :: rest  -> 
  
          (match mty.ModulesAndNamespacesByDemangledName.TryFind(id) with
           | Some mspec ->
               let nested = modref.NestedTyconRef mspec
               if IsTyconUnseenObsoleteSpec ad g ncenv.amap m nested allowObsolete then [] else
               let allowObsolete = allowObsolete && not (isNil rest)
               ResolvePartialLongIdentInModuleOrNamespace ncenv nenv isApplicableMeth m ad nested rest allowObsolete
  
           | _ -> [])
  
        @ (LookupTypeNameInEntityNoArity m id modref.ModuleOrNamespaceType
  