{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":".then(||"}]}
                    .then(|| bound_predicate.rebind(trait_predicate.trait_ref)),
                    .types_may_unify(param_ty, trait_predicate.trait_ref.self_ty())
                ty::ClauseKind::RegionOutlives(_)