blob: 15363ad04bfe7027e28b596fbf1568b5d90e267a (
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
25
26
27
28
29
30
31
32
33
34
35
|
// check-fail
// known-bug: #88526
// This should pass, but requires more logic.
#![feature(generic_associated_types)]
trait A {
type I<'a>;
}
pub struct TestA<F>
{
f: F,
}
impl<F> A for TestA<F> {
type I<'a> = &'a F;
}
struct TestB<Q, F>
{
q: Q,
f: F,
}
impl<'q, Q, I, F> A for TestB<Q, F>
where
Q: A<I<'q> = &'q I>,
F: Fn(I),
{
type I<'a> = ();
}
fn main() {}
|