pub fn analyze_with_storage<S, N>(n: &N, marks: Option<Marks>) -> S
where 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.