mirror of https://github.com/rust-lang/rust
27 lines
687 B
Rust
27 lines
687 B
Rust
// 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() {}
|