mirror of https://github.com/rust-lang/rust
36 lines
926 B
Rust
36 lines
926 B
Rust
//@ check-pass
|
|
#![allow(unused_variables)]
|
|
// Test that we normalize associated types that appear in bounds; if
|
|
// we didn't, the call to `self.split2()` fails to type check.
|
|
|
|
//@ pretty-expanded FIXME #23616
|
|
|
|
use std::marker::PhantomData;
|
|
|
|
struct Splits<'a, T, P>(PhantomData<(&'a(),T,P)>);
|
|
struct SplitsN<I>(PhantomData<I>);
|
|
|
|
trait SliceExt2 {
|
|
type Item;
|
|
|
|
fn split2<'a, P>(&'a self, pred: P) -> Splits<'a, Self::Item, P>
|
|
where P: FnMut(&Self::Item) -> bool;
|
|
fn splitn2<'a, P>(&'a self, n: usize, pred: P) -> SplitsN<Splits<'a, Self::Item, P>>
|
|
where P: FnMut(&Self::Item) -> bool;
|
|
}
|
|
|
|
impl<T> SliceExt2 for [T] {
|
|
type Item = T;
|
|
|
|
fn split2<P>(&self, pred: P) -> Splits<T, P> where P: FnMut(&T) -> bool {
|
|
loop {}
|
|
}
|
|
|
|
fn splitn2<P>(&self, n: usize, pred: P) -> SplitsN<Splits<T, P>> where P: FnMut(&T) -> bool {
|
|
self.split2(pred);
|
|
loop {}
|
|
}
|
|
}
|
|
|
|
fn main() { }
|