{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"debug!(\"found"}]}
                debug!("found that {ty:?} outlives any lifetime, returning empty vector");
                // This is `for<'a> T: 'a`. This means that `T` outlives everything! All done here.
                return VerifyBound::AllBounds(vec![]);