pub fn analyze_with_storage<S, N>(n: &N, marks: Option<Marks>) -> Swhere
S: Storage,
N: VisitWith<UsageAnalyzer<S>>,
Expand description
TODO: Track assignments to variables via arguments
.
TODO: Scope-local. (Including block)
If marks
is None, markers are ignored.