I’m in favor of doing this for type aliases and consts, because they are erased at compile time, but not for other kinds of items which have a compiled representation. I do think it is valuable that they behave just like top level items from a trans perspective.
2 Likes