]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #101021 - MingyuChen1:diagnostic, r=davidtwco
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Tue, 6 Sep 2022 11:04:42 +0000 (16:34 +0530)
committerGitHub <noreply@github.com>
Tue, 6 Sep 2022 11:04:42 +0000 (16:34 +0530)
commit36144f2b3d229a510af02914686a12ae7708265d
tree8fc86a20d7f719702fca58b00974a3fd2e759cc6
parent3f220200064dbd1a20a8327cb0dd577c53a9e16e
parenta42c0d79da8e04d6c7bd17363efe4234e2a9547c
Rollup merge of #101021 - MingyuChen1:diagnostic, r=davidtwco

Migrate ``rustc_middle`` diagnostic

Part of #100717
compiler/rustc_error_messages/src/lib.rs
compiler/rustc_middle/src/ty/mod.rs