]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68928 - GuillaumeGomez:cleanup-e0276, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Fri, 7 Feb 2020 16:00:27 +0000 (17:00 +0100)
committerGitHub <noreply@github.com>
Fri, 7 Feb 2020 16:00:27 +0000 (17:00 +0100)
commit9681544f38fa8ffb8a601330e7e96272c92bf38f
tree19d46357695f6eb1b2fd0586d1a53bdccc19c5a0
parent88573a7f61b71cf00883d89941a8ebee260b4914
parent26020f506338add6fec610ad8c2cb64c28546cbe
Rollup merge of #68928 - GuillaumeGomez:cleanup-e0276, r=Dylan-DPC

clean up E0276 explanation

r? @Dylan-DPC