]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/issues/issue-20763-2.rs
1 // build-pass (FIXME(62277): could be check-pass?)
3 // pretty-expanded FIXME #23616
11 impl<A
> T0
for S
<A
> { type O = A; }
14 // this looks okay but as we see below, `f` is unusable
15 fn m0
<F
: Fn(<Self as T0
>::O
) -> bool
>(self, f
: F
) -> bool
;
18 // complains about mismatched types: <S<A> as T0>::O vs. A
21 fn m0
<F
: Fn(<Self as T0
>::O
) -> bool
>(self, f
: F
) -> bool { f(self.0) }