{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":")"}]}
) -> LocalizedOutlivesConstraint {
    universal_regions: &UniversalRegions<'tcx>,
    // FIXME: check if other terminators need the same handling as `Call`s, in particular