18 lines
348 B
Rust
18 lines
348 B
Rust
|
// We used to ICE here while trying to synthesize auto trait impls.
|
||
|
|
// issue: 112242
|
||
|
|
//@ check-pass
|
||
|
|
//@ compile-flags: -Znormalize-docs
|
||
|
|
|
||
|
|
pub trait MyTrait<'a> {
|
||
|
|
type MyItem;
|
||
|
|
}
|
||
|
|
pub struct Inner<Q>(Q);
|
||
|
|
pub struct Outer<Q>(Inner<Q>);
|
||
|
|
|
||
|
|
impl<'a, Q> std::marker::Unpin for Inner<Q>
|
||
|
|
where
|
||
|
|
Q: MyTrait<'a>,
|
||
|
|
<Q as MyTrait<'a>>::MyItem: Copy,
|
||
|
|
{
|
||
|
|
}
|