{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//!"}]}
//! Constraints arising from type-checking allow loans to flow from region to region at the same CFG
//!
//! point. Constraints arising from liveness allow loans to flow within from point to point, between