An annotation for methods for which invocations might be removed in the generated code .
An annotation to be applied to a match expression .
A method annotation which verifies that the method will be compiled with tail call optimization .
This useless appearing code was necessary to allow people to use named constants for the elidable annotation .