blob: 6f737b21f53cdc18ffb0ba310a9cd82a68ad121f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#![feature(impl_trait_in_assoc_type)]
// See https://github.com/rust-lang/rust/issues/87258#issuecomment-883293367
trait Trait1 {}
struct Struct<'b>(&'b ());
impl<'d> Trait1 for Struct<'d> {}
pub trait Trait2 {
type FooFuture<'a>: Trait1;
fn foo<'a>() -> Self::FooFuture<'a>;
}
impl<'c, S: Trait2> Trait2 for &'c mut S {
type FooFuture<'a> = impl Trait1;
//~^ ERROR unconstrained opaque type
fn foo<'a>() -> Self::FooFuture<'a> {
Struct(unimplemented!())
}
}
fn main() {}
|