On Sunday, 11 October 2020 at 11:48:23 UTC, Stefan Koch wrote: > __top is the top type. > that which can hold anything. > symbols, complete expressions, types, values, tuples. > anything. OK thanks. Can it also implicitly hold the context that the expression was used in? If not I don't think we can wrap __traits(compiles).