the self type
Curiously recurring template pattern
for the reason why we need the
Self type parameter
An annotation to explicitly perform reset control operator on a code block.
This annotation can be automatically added if ResetEverywhere compiler plug-in is enabled.
An annotation to mark a method is a shift control operator.