]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #104381 - mejrs:none_error, r=compiler-errors
authorMatthias Krüger <matthias.krueger@famsik.de>
Tue, 15 Nov 2022 00:40:44 +0000 (01:40 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Nov 2022 00:40:44 +0000 (01:40 +0100)
Remove dead NoneError diagnostic handling

`NoneError` was removed some time ago, so this was dead code.


Trivial merge