diff --git a/tests/rustdoc-ui/normalization_uses_ocx.rs b/tests/rustdoc-ui/normalization_uses_ocx.rs new file mode 100644 index 0000000000000..7c7a07ca7a2c8 --- /dev/null +++ b/tests/rustdoc-ui/normalization_uses_ocx.rs @@ -0,0 +1,16 @@ +// check-pass +// compile-flags: -Znormalize-docs +// regression test for #112242 + +trait MyTrait<'a> { + type MyItem; +} +struct Inner(Q); +struct Outer(Inner); + +unsafe impl<'a, Q> Send for Inner +where + Q: MyTrait<'a>, + >::MyItem: Copy, +{ +}