[libcxx-commits] [libcxx] [libc++] Add __detected_or_t and use it to implement some of the allocator traits aliases (PR #115654)

[David Blaikie via libcxx-commits]

dwblaikie wrote:

Yeah (I was thinking of adding the attribute to __detected_or_t (& the __detected struct template (& its partial specialization)) itself, but yeah, any of the alias declarations should probably have it too (but its class/struct type information that tends to be much heavier weight than aliases/typedefs) if they're part of metaprogramming - they're probably not much use to people debugging code, I think (because you can see the specific thing they were resolved to easily)) - I've handed this off to @cmtice internally to try exactly that (applying the attribute to the __detected* stuff, and see if that accounts for most/all of the change)

I do worry a bit about the increase to non-debug (& debug-but-not-type) information, like .group (and .debug_rnglists).

https://github.com/llvm/llvm-project/pull/115654