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
|
// ignore-tidy-linelength
// Check that we normalize super predicates for object candidates.
//@ check-pass
use std::ops::Index;
fn next<'a, T>(s: &'a mut dyn SVec<Item = T, Output = T>) {
// To prove
// `dyn SVec<Item = T, Output = T>: SVec`
// we need to show
// `dyn SVec<Item = T, Output = T> as Index>::Output == <dyn SVec<Item = T, Output = T> as SVec>::Item`
// which, with the current normalization strategy, has to be eagerly
// normalized to:
// `dyn SVec<Item = T, Output = T> as Index>::Output == T`.
let _ = s.len();
}
trait SVec: Index<usize, Output = <Self as SVec>::Item> {
type Item;
fn len(&self) -> usize;
}
fn main() {}
|
