is(x = module) vs. __traits(isModule, x)

[Stefan Koch]

On Sunday, 11 October 2020 at 14:32:17 UTC, Nick Treleaven wrote:
> 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).

Well ... I have to think about that.
Sounds hairy if you ask me.