Comment by 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.