https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88669
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Works when class(t) is replaced by type(t), so the attributes were not correctly set somewhere.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88669
--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- Works when class(t) is replaced by type(t), so the attributes were not correctly set somewhere.