Module discover

MIR visitor (CollectingVisitor) that populates the [MarkerDatabase] and discovers functions marked for analysis.

Essentially this discovers all local paralegal_flow::* annotations.

Structs

• CollectingVisitor
  This visitor traverses the items in the analyzed crate to discover annotations and analysis targets and store them in this struct. After the discovery phase [Self::analyze] is used to drive the actual analysis. All of this is conveniently encapsulated in the Self::run method.
• FnToAnalyze
  A function we will be targeting to analyze with [CollectingVisitor::handle_target].

Type Aliases

• AttrMatchT
  Values of this type can be matched against Rust attributes