]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #73959 - GuillaumeGomez:cleanup-e0716, r=Dylan-DPC
authorManish Goregaokar <manishsmail@gmail.com>
Wed, 15 Jul 2020 18:01:11 +0000 (11:01 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jul 2020 18:01:11 +0000 (11:01 -0700)
commit1527126e0737c992bd19029ae7d1858cf8980ef1
tree3aa59a738d910f16139ec12ef2fb970744de2eeb
parent7307af1f1c015bd1f2c8a200f1542ee624ce12a2
parent818aaa7b588ffcb27b0987a38794e61c2050324b
Rollup merge of #73959 - GuillaumeGomez:cleanup-e0716, r=Dylan-DPC

Clean up E0716 explanation

r? @Dylan-DPC