mirror of https://github.com/rust-lang/rust
34 lines
365 B
Rust
34 lines
365 B
Rust
//@ check-fail
|
|
//@ known-bug: #88526
|
|
|
|
// This should pass, but requires more logic.
|
|
|
|
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() {}
|