On: Stabilizing Rust's Never Type

[tyushk]

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.

[Sharlin → tyushk]

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).