x/tools/go/analysis: Pass.All{Package,Object}Facts: document what "all" means #70351
Labels
Analysis
Issues related to static analysis (vet, x/tools/go/analysis)
Documentation
NeedsFix
The path to resolution is known, but the work has not been done.
Tools
This label describes issues relating to any tools in the x/tools repository.
Milestone
What does "all" mean exactly? I think the intent is that it means the set of facts that you would get if you were to call
ImportObjectFact
on everytypes.Object
that you are able to obtain from the Pass (and mutatis mutandi for s/Object/Package/g).More generally the API is unclear as to whether Export(o, f) followed by Import(o) returns f even within the same package. I think the implementations have always done so.
The text was updated successfully, but these errors were encountered: