{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":")"}]}
    ) -> RelateResult<'tcx, ()> {
        only_consider_snapshot: Option<&CombinedSnapshot<'tcx>>,
        if outer_universe == max_universe {