Comment by tyushk
2 hours ago
Do you have an example? I'm struggling to think of such a case where ! is ambiguous between a end of macro call and the Never type.
2 hours ago
Do you have an example? I'm struggling to think of such a case where ! is ambiguous between a end of macro call and the Never type.
Pedantically, the phrasing in the article is incorrect because macro invocations are permissible in type positions. But as you said, the macro invocation syntax is nevertheless not ambiguous with !-as-type (or !-as-operator for that matter).