1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#![allow(unused)]
pub trait Trait {
type Assoc<'a> where Self: 'a;
fn f(&self) -> Self::Assoc<'_>;
// Disallow elision in return position, for now
fn g(&self) -> Self::Assoc;
//~^ ERROR missing generics for associated type `Trait::Assoc`
}
pub struct Struct {
item: f32
}
pub struct GenericStruct<'a> {
ref_item: &'a f32
}
impl Trait for Struct {
type Assoc<'a> = GenericStruct<'a>;
fn f(&self) -> Self::Assoc<'_> {
Self::Assoc {
ref_item: &self.item
}
}
// Disallow elision in return position, for now
fn g(&self) -> Self::Assoc {
//~^ ERROR missing generics for associated type `Trait::Assoc`
todo!()
}
}
fn main() {}
|
