| id:: rest->

(match mty.ModulesAndNamespacesByDemangledName.TryFind(id)with

| Some mspec

whennot(IsTyconUnseenObsoleteSpec ad g ncenv.amap m(modref.NestedTyconRef mspec) allowObsolete)->

letallowObsolete= rest<>[]&& allowObsolete

ResolvePartialLongIdentInModuleOrNamespace ncenv nenv isApplicableMeth m ad(modref.NestedTyconRef mspec) rest allowObsolete

| Some mspec->

letnested= modref.NestedTyconRef mspec

if IsTyconUnseenObsoleteSpec ad g ncenv.amap m nested allowObsoletethen[]else

letallowObsolete= allowObsolete&&not(isNil rest)

ResolvePartialLongIdentInModuleOrNamespace ncenv nenv isApplicableMeth m ad nested rest allowObsolete

@(LookupTypeNameInEntityNoArity m id modref.ModuleOrNamespaceType

@(tycons|> List.map(modref.NestedTyconRef>> ItemOfTyconRef ncenv m))

for tyconin tyconsdo

if IsEntityAccessible ncenv.amap m ad(modref.NestedTyconRef tycon)then

letttype= FreshenTycon ncenv m(modref.NestedTyconRef tycon)

letnested= modref.NestedTyconRef tycon

if IsEntityAccessible ncenv.amap m ad nestedthen

letttype= FreshenTycon ncenv m nested

ncenv.InfoReader.GetRecordOrClassFieldsOfType(None, ad, m, ttype)

|> List.map Item.RecdField

| id:: rest->

(match mty.ModulesAndNamespacesByDemangledName.TryFind(id)with

| Some mspec

whennot(IsTyconUnseenObsoleteSpec ad g ncenv.amap m(modref.NestedTyconRef mspec) allowObsolete)->

letallowObsolete= rest<>[]&& allowObsolete

ResolvePartialLongIdentInModuleOrNamespaceForRecordFields ncenv nenv m ad(modref.NestedTyconRef mspec) rest allowObsolete

| Some mspec->

letnested= modref.NestedTyconRef mspec

if IsTyconUnseenObsoleteSpec ad g ncenv.amap m nested allowObsoletethen[]else

letallowObsolete= allowObsolete&&not(isNil rest)

ResolvePartialLongIdentInModuleOrNamespaceForRecordFields ncenv nenv m ad nested rest allowObsolete

match restwith

|> List.filter(fun tcref->not(tcref.LogicalName.Contains(",")))

|> List.filter(fun tycon->not(IsTyconUnseen ad g ncenv.amap m(modref.NestedTyconRef tycon)))

yield! tycons|> List.map(modref.NestedTyconRef>> ItemOfTyconRef ncenv m)

yield! tycons|> List.collect(modref.NestedTyconRef>> InfosForTyconConstructors ncenv m ad)

letnestedTycons= 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

whennot(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 idwith

| Some mspec->

letnested= modref.NestedTyconRef mspec

ifnot(IsTyconUnseenObsoleteSpec ad g ncenv.amap m nestedtrue)then

yield! ResolvePartialLongIdentInModuleOrNamespaceForItem ncenv nenv m ad nested rest item

for tyconin LookupTypeNameInEntityNoArity m id modref.ModuleOrNamespaceTypedo

IsInterestingModuleName demangledName&& notFakeContainerModule ilTyconNames demangledName

&& EntityRefContainsSomethingAccessible ncenv m ad x

&&not(IsTyconUnseen ad ncenv.g ncenv.amap m x))