{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//!"}]}
//! Lifetimes can be early-bound or late-bound. Construction of typechecking terms needs to visit
//! information, typechecking needs to transform the lifetime parameters into bound lifetimes.
//! the types in HIR to identify late-bound lifetimes and assign their Debruijn indices. This file