Closed nojaf closed 4 months ago
I'm not sure if we really need those
treat-as-warnings
anymore.
I'm leaning more on the side to keep them, yes.
Don't they all produce warnings?
No, some of the Ionide ones are producing Hints and Infos. But yeah, not a hill to die on.
I'm not sure if we really need those
treat-as-warnings
anymore.