Skip to content

Commit 1543e6b

Browse files
committed
regression test
1 parent 2ccfd04 commit 1543e6b

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed
+16
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
// check-pass
2+
// compile-flags: -Znormalize-docs
3+
// regression test for #112242
4+
5+
trait MyTrait<'a> {
6+
type MyItem;
7+
}
8+
struct Inner<Q>(Q);
9+
struct Outer<Q>(Inner<Q>);
10+
11+
unsafe impl<'a, Q> Send for Inner<Q>
12+
where
13+
Q: MyTrait<'a>,
14+
<Q as MyTrait<'a>>::MyItem: Copy,
15+
{
16+
}

0 commit comments

Comments
 (0)