| // 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() {} |