]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #69007 - GuillaumeGomez:clean-up-e0283, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Mon, 10 Feb 2020 16:29:01 +0000 (17:29 +0100)
committerGitHub <noreply@github.com>
Mon, 10 Feb 2020 16:29:01 +0000 (17:29 +0100)
commitdb08784964012fc998b33f4104daf05a121383e0
treeb87ddbc8af08ba7444e54973b4e9e7d8ffc436a1
parent6e1b75b7e16a5759567fa6b78f24ee9380681459
parentded629289a4040450396ea83ad9bddc459a9582c
Rollup merge of #69007 - GuillaumeGomez:clean-up-e0283, r=Dylan-DPC

Clean up E0283 explanation

r? @Dylan-DPC