Idents:Set<string>

Modules:FSharpEntity list

{ Modules:FSharpEntity list

Range:range

IsGlobal:bool}

seq{for modulin this.Modulesdo

for entin modul.NestedEntitiesdo

yield ent:> FSharpSymbol

if ent.IsFSharpUnion&&not(hasAttribute<RequireQualifiedAccessAttribute> ent.Attributes)then

for unionCasein ent.UnionCasesdo

yieldupcast unionCase

if ent.IsFSharpModule&& hasAttribute<AutoOpenAttribute> ent.Attributesthen

yield! getAllChildSymbolsInModule ent

for fvin modul.MembersFunctionsAndValuesdo

yieldupcast fv

for apCasein modul.ActivePatternCasesdo

yieldupcast apCase

seq{for modulin this.Modulesdo

yield! getAllChildSymbolsInModule modul

yieldupcast apCase

}|> Seq.cache

[yield modul

for entin modul.NestedEntitiesdo

if ent.IsFSharpModule&& hasAttribute<AutoOpenAttribute> ent.Attributesthen

yield! getModuleAndItsAutoOpens ent]

openDeclarations

|> List.choose(fun openDecl->

match openDecl.LongId, openDecl.Rangewith

| firstId::_, Some range->

Some{ Idents=

openDecl.Modules

|> List.choose(fun x-> x.TryFullName|> Option.map(fun fullName-> x, fullName))

|> List.collect(fun(modul,fullName)->

[yield fullName

if modul.HasFSharpModuleSuffixthen

yield fullName.[..fullName.Length-7]// "Module" length plus zero index correction

|> Set.ofList

Modules= openDecl.Modules

Some{ Modules= openDecl.Modules|> List.collect getModuleAndItsAutoOpens

Range= range

AppliedScope= openDecl.AppliedScope

IsGlobal= firstId.idText= MangledGlobalName}

|> Array.exists(fun symbolUse->

letinScope= rangeContainsRange openStatement.AppliedScope symbolUse.RangeAlternate

ifnot inScopethenfalse

letmoduleSymbols= openStatement.AllChildSymbols|> Seq.toList

moduleSymbols

rangeContainsRange seenNs.AppliedScope openStatement.AppliedScope&&

not(openStatement.Idents|>Set.intersectseenNs.Idents|>Set.isEmpty))

openStatement.Modules|>List.exists(fun x->seenNs.Modules|>List.exists(fun s-> s.IsEffectivelySameAs x)))

not alreadySeen

match openStatementswith