mirror of
https://github.com/emilk/egui.git
synced 2026-07-09 08:17:27 +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.