This useless appearing code was necessary to allow people to use named constants for the elidable annotation. This is what it takes to convince the compiler to fold the constants: otherwise when it's time to check an elision level it's staring at a tree like
(Select(Level, Select(FINEST, Apply(intValue, Nil))))instead of the number300.
The levelsALL andOFF are confusing in this context because the sentiment being expressed when using the annotation is at cross purposes with the one being expressed via-Xelide-below.
The levelsALL andOFF are confusing in this context because the sentiment being expressed when using the annotation is at cross purposes with the one being expressed via-Xelide-below. This confusion reaches its zenith at levelOFF, where the annotation meansnever elide this method but-Xelide-below OFF is how you would sayelide everything possible.
With no simple remedy at hand, the issue is now at least documented, and aliasesMAXIMUM andMINIMUM are offered.