{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"///"}]}
    /// Check whether `r_a <= r_b` is found in the relation.
    fn check_relation(&self, r_a: Region<'tcx>, r_b: Region<'tcx>) -> bool {