{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"adjusted_universe.map(|adjusted|"}]}
            adjusted_universe.map(|adjusted| {
                error_placeholder.universe.as_u32().checked_sub(base_universe.as_u32());
                ty::Region::new_placeholder(