https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104739
--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- Comment #6 from Iain Buclaw <ibuclaw at gdcproject dot org> --- > (In reply to r...@cebitec.uni-bielefeld.de from comment #5) > Can give it a go. > > https://github.com/dlang/dmd/pull/16136 Great, thanks for doing this. With this patch applied locally, adding DejaGnu support for the new annotation proved to be as easy as I'd suspected.