Code Inspection: NoReturn attribute can be added
Reports function without #[NoReturn]
that are always halting their execution by calling other exitPoint functions attribute.
Last modified: 08 December 2020
Reports function without #[NoReturn]
that are always halting their execution by calling other exitPoint functions attribute.