{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":".contains(&ty::OutlivesPredicate(c.sup.into(),"}]}
                    .contains(&ty::OutlivesPredicate(c.sup.into(), c.sub)),
                    .higher_ranked_assumptions()
                _ => true,