https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116670
--- Comment #1 from Dominik Gronkiewicz <gronki at gmail dot com> --- actually get_number() does not need to be elemental. I missed it while reducing my module to the minimum test case, apologies.
gronki at gmail dot com via Gcc-bugs Tue, 10 Sep 2024 17:07:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116670
--- Comment #1 from Dominik Gronkiewicz <gronki at gmail dot com> --- actually get_number() does not need to be elemental. I missed it while reducing my module to the minimum test case, apologies.