]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #81897 - vandenheuvel:match_exhaustive_diagnostics_regression_test...
authorJonas Schievink <jonasschievink@gmail.com>
Mon, 15 Feb 2021 15:06:53 +0000 (16:06 +0100)
committerGitHub <noreply@github.com>
Mon, 15 Feb 2021 15:06:53 +0000 (16:06 +0100)
commitcd27820b1a26046e2040f666b3b66a9a5aa8c4ea
tree4f7c0e8894794afb9c7207e9415ae0bbd50da490
parentf02f7b05b24543f0928f34c75aad2465e20094ca
parent5fe84900464aa382e85eab6132e778b7c9d8141e
Rollup merge of #81897 - vandenheuvel:match_exhaustive_diagnostics_regression_test, r=Mark-Simulacrum

Add match pattern diagnostics regression test

Closes #72377 by adding a regression test.

This test case fails on stable but now works on beta and nightly. It *should* have worked already for years, the crucial point whether it is mentioned that some uncovered patterns are not explicitly mentioned.