I thought attributes were reserved for compiler-specific semantics like calling conventions. Here they're just being used as stropping for a language feature with syntactic significance!

It's not an attribute, it's an annotation. Annotations start with [[= .

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p33...