syntax_data: {"ast_node_type":"import","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! there, you can use a `ResultsCursor` to inspect the fixpoint solution to your dataflow problem
context_before: //! Then call `iterate_to_fixpoint` on your type that impls `Analysis` to get a `Results`. From
context_after: //! (good for inspecting a small number of locations), or implement the `ResultsVisitor` interface