anchor.diff:         @ (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)
  +                let nested = modref.NestedTyconRef tycon
  +                if IsEntityAccessible ncenv.amap m ad nested then
  +                    let ttype = FreshenTycon ncenv m nested
                       yield! 
                           ncenv.InfoReader.GetRecordOrClassFieldsOfType(None, ad, m, ttype)
                           |> List.map Item.RecdField
  
positive.code:     | id :: rest  -> 
  
          (match mty.ModulesAndNamespacesByDemangledName.TryFind(id) with
           | Some mspec 
               when not (IsTyconUnseenObsoleteSpec ad g ncenv.amap m (modref.NestedTyconRef mspec) allowObsolete) -> 
               let allowObsolete = rest <> [] && allowObsolete
               ResolvePartialLongIdentInModuleOrNamespace ncenv nenv isApplicableMeth m ad (modref.NestedTyconRef mspec) rest allowObsolete
           | _ -> [])
  
        @ (LookupTypeNameInEntityNoArity m id modref.ModuleOrNamespaceType
  
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)
               ResolvePartialLongIdentInModuleOrNamespaceForRecordFields ncenv nenv m ad nested rest allowObsolete
           | _ -> [])
          @ (
              match rest with
  