{"ast_node_type":"function","tokens":[{"end":88,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn alias_bound(&self, alias_ty: ty::AliasTy<'tcx>) -> VerifyBound<'tcx> {
    #[instrument(level = "debug", skip(self))]
        // Search the env for where clauses like `P: 'a`.