]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68454 - GuillaumeGomez:clean-up-e0214, r=Dylan-DPC
authorYuki Okushi <huyuumi.dev@gmail.com>
Tue, 28 Jan 2020 01:48:12 +0000 (10:48 +0900)
committerGitHub <noreply@github.com>
Tue, 28 Jan 2020 01:48:12 +0000 (10:48 +0900)
commit39407c9ab7115cb521384014ed5499ff1a81cba9
tree4f079f59c37230bdf31e2ddee6f5f5482c22b265
parentdc33cd3500e6c59461e784253c4cb3ebffa97098
parent94fcda0e1346f284c44a27c5c07c2b0999e5bc29
Rollup merge of #68454 - GuillaumeGomez:clean-up-e0214, r=Dylan-DPC

clean up E0214 explanation

r? @Dylan-DPC