I was influenced by this post to try making (and finally learning about) a freestanding declaration macro that could get its surrounding type declaration, however that wasn't possible given no parent context information.
It seems as discussed that this would be very helpful for debugging purposes.