mirror of https://github.com/rust-lang/rust
21 lines
302 B
Rust
21 lines
302 B
Rust
// Case that the fix for #74868 also allowed to compile
|
|
|
|
//@ check-pass
|
|
|
|
trait BoxedDsl {
|
|
type Output;
|
|
}
|
|
|
|
impl<T> BoxedDsl for T
|
|
where
|
|
T: BoxedDsl,
|
|
{
|
|
type Output = <T as BoxedDsl>::Output;
|
|
}
|
|
|
|
trait HandleUpdate {}
|
|
|
|
impl<T> HandleUpdate for T where T: BoxedDsl<Output = ()> {}
|
|
|
|
fn main() {}
|