{"ast_node_type":"variable","tokens":[{"end":32,"kind":"keyword","start":0,"text":"let"}]}
        let mut lifetime = None;
        // These invariants are utilized by `TyExt::dyn_trait()` and chalk.
        let bounds = self.with_shifted_in(DebruijnIndex::ONE, |ctx| {