about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/mod.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-06-24 15:51:02 -0400
committerGitHub <noreply@github.com>2024-06-24 15:51:02 -0400
commit49bdf460a22ee85e27b311f3cde099cfa592f865 (patch)
tree4b2b1124fefd4a1f9450ca74be5d9acacec89918 /compiler/rustc_mir_transform/src/coverage/mod.rs
parent46e43984d18db0febeb1e9b8e80feebc6839edba (diff)
parent3f2f8438b40e4f523353b341424b94ee1bf81741 (diff)
downloadrust-49bdf460a22ee85e27b311f3cde099cfa592f865.tar.gz
rust-49bdf460a22ee85e27b311f3cde099cfa592f865.zip
Rollup merge of #126673 - oli-obk:dont_rely_on_err_reporting, r=compiler-errors
Ensure we don't accidentally succeed when we want to report an error

This also changes the `DefiningOpaqueTypes::No` to `Yes` without adding tests, as it is solely run on the error path to improve diagnostics. I was unable to provide a test that changes diagnostics, as all the tests I came up with ended up successfully constraining the opaque type and thus succeeding the coercion.

r? ```@compiler-errors```

cc https://github.com/rust-lang/rust/issues/116652
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions