{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"higher_ranked_assumptions:"}]}
        higher_ranked_assumptions: FxHashSet<ty::ArgOutlivesPredicate<'tcx>>,
        extra_bounds: impl IntoIterator<Item = OutlivesBound<'tcx>>,
    ) -> Self {