{ Entity:FSharpEntity

IsNestedAutoOpen:bool}

Modules:FSharpEntity list

Modules:Module list

Range:range

IsGlobal:bool}

seq{for modulin this.Modulesdo

seq{for modulin this.Modules|> List.map(fun x-> x.Entity)do

for entin modul.NestedEntitiesdo

yield ent:> FSharpSymbol

yieldupcast apCase

}|> Seq.cache

[yield modul

[yield{ Entity=modul; IsNestedAutoOpen= isNestedAutoOpen}

for entin modul.NestedEntitiesdo

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

yield! getModuleAndItsAutoOpens ent]

yield! getModuleAndItsAutoOpenstrueent]

openDeclarations

|> List.filter(fun x->not x.IsOwnNamespace)

|> List.choose(fun openDecl->

match openDecl.LongId, openDecl.Rangewith

| firstId::_, Some range->

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

Some{ Modules= openDecl.Modules|> List.collect(getModuleAndItsAutoOpensfalse)

Range= range

AppliedScope= openDecl.AppliedScope

IsGlobal= firstId.idText= MangledGlobalName}

rangeContainsRange seenNs.AppliedScope openStatement.AppliedScope&&

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

openStatement.Modules

|> List.exists(fun x->

not x.IsNestedAutoOpen&&

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

not alreadySeen

match openStatementswith