{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":".higher_ranked_assumptions()"}]}
                    .higher_ranked_assumptions()
                ConstraintKind::RegSubReg => !outlives_env
                    .contains(&ty::OutlivesPredicate(c.sup.into(), c.sub)),