blob: 9f36e5315ecc2dad431ebc5d898e5c457b0c3262 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
// compile-flags: -Znormalize-docs
use std::ops::Index;
pub fn next<'a, T>(s: &'a mut dyn SVec<Item = T, Output = T>) {
let _ = s;
}
pub trait SVec: Index<
<Self as SVec>::Item,
Output = <Index<<Self as SVec>::Item,
Output = <Self as SVec>::Item> as SVec>::Item,
> {
type Item<'a, T>;
fn len(&self) -> <Self as SVec>::Item;
//~^ ERROR
//~^^ ERROR
}
|