Module kernel::jump

Never type and jump after RAII

Functions

do_nothing
never_return	A mock function with return type !
return_to	Return to a non-return function