fn exec_strategy(ecx: &ExtCtxt<'_>) -> impl ExecutionStrategy