Re: Towards a cleaner build: other output

[Stefan Monnier]

> I'm not quite sure what your objection is here.  There are no "desperate
> efforts" taken, and the few remaining build warnings under discussion
> are no more complicated to handle than the ones already taken care of.
> Instead they're mostly pretty trivial.

I think beyond the question of whether those things deserve to be
silenced in our build, this is also useful to make sure warnings *can*
be silenced cleanly when needed, which I think is an important property
(since all warnings can be false positives).


        Stefan