mirror of
https://github.com/emilk/egui.git
synced 2026-07-11 17:18:55 +00:00
12cd35f48c
Follow up for https://github.com/emilk/egui/pull/6766 I wasn't sure if `compile_error` is appropriate. It felt right.