log: mark log.fatal as [noreturn] (#16129)

This commit is contained in:
bogen85 2022-10-21 02:33:49 -05:00 committed by GitHub
parent 51f4d99399
commit c684dd8c9b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 12 additions and 2 deletions

View file

@ -19,6 +19,4 @@ fn main() {
l.set_level(log.level_from_tag('') or { log.Level.disabled }) // set level from string, sample
l.error('no output anymore')
l.fatal('fatal') // panic, next statements won't be executed
l.set_level(.info)
l.warn('warn')
}