{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! When incorporating kills in the traversal, the loans reaching a given point are considered live.
//! After this, the usual NLL process happens. These live loans are fed into a dataflow analysis