Why can't arguments be levity polymorphic for inline functions?

[Richard Eisenberg]

> On Oct 8, 2021, at 10:51 AM, Ben Gamari <ben at smart-cactus.org> wrote:
> In my mind the fundamental problem with this approach is that it means
> that a program's acceptance by the compiler hinges upon pragmas.

I think being able to ignore pragmas is a worthy goal, but one we're rather far short of, at the moment: overlapping pragmas (as Chris has pointed out), language pragmas (!), options pragmas setting -Werror, plugin pragmas, maybe others.

Richard