about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/tests.rs
diff options
context:
space:
mode:
authorMatthias Krüger <matthias.krueger@famsik.de>2024-02-22 18:09:52 +0100
committerGitHub <noreply@github.com>2024-02-22 18:09:52 +0100
commit379ef9bd36cdbe144f0df7868bf80bd0cd07268c (patch)
treea916c61f666f2a4767b9e23d1d4e7a314e970b60 /compiler/rustc_mir_transform/src/coverage/tests.rs
parent702225e2907a2356941783ab7e851da0f046d556 (diff)
parent1efb7479ef95657a02d120356d35decaa163f9cc (diff)
downloadrust-379ef9bd36cdbe144f0df7868bf80bd0cd07268c.tar.gz
rust-379ef9bd36cdbe144f0df7868bf80bd0cd07268c.zip
Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr
test that we do not support higher-ranked regions in opaque type inference

We already do all the right checks in `check_opaque_type_parameter_valid`, and we have done so since at least 2 years.

I collected the tests from https://github.com/rust-lang/rust/pull/116935 and https://github.com/rust-lang/rust/pull/100503 and added some more

cc https://github.com/rust-lang/rust/issues/96146

r? `@lcnr`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/tests.rs')
0 files changed, 0 insertions, 0 deletions