{"ast_node_type":"variable","tokens":[{"end":31,"kind":"keyword","start":0,"text":"let"}]}
        let infcx = self.infcx;
    fn universe_for(&mut self, debruijn: ty::DebruijnIndex) -> ty::UniverseIndex {
        let index =