fn draw_time_left( app: &dyn AppLike, prerender: &Prerender, stage: &Stage, i: &Intersection, idx: usize, time_left: Duration, batch: &mut GeomBatch, )