mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-09 00:21:47 +00:00
This is a severity for mandatory warnings, i.e. those which should be reported
in any case, even if there are compilation errors
(cherry picked from commit 7ac96163ac)