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