{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// e.g., via `let x: T`, then we carry that type here. The MIR
    /// If the user manually ascribed a type to this variable,
    /// borrow checker needs this information since it can affect