Changed std::pattern::Pattern impl on &'a &'a str to &'a &'b str

in order to allow a bit more felixibility in how to use it.
This commit is contained in:
Marvin Löbel 2016-03-01 17:53:51 +01:00
parent 0a52494f7e
commit dd67e55c10
2 changed files with 14 additions and 1 deletions

View File

@ -1508,6 +1508,19 @@ generate_iterator_test! {
with str::rsplitn; with str::rsplitn;
} }
#[test]
fn different_str_pattern_forwarding_lifetimes() {
use std::str::pattern::Pattern;
fn foo<'a, P>(p: P) where for<'b> &'b P: Pattern<'a> {
for _ in 0..3 {
"asdf".find(&p);
}
}
foo::<&str>("x");
}
mod bench { mod bench {
use test::{Bencher, black_box}; use test::{Bencher, black_box};

View File

@ -492,7 +492,7 @@ impl<'a, F> Pattern<'a> for F where F: FnMut(char) -> bool {
///////////////////////////////////////////////////////////////////////////// /////////////////////////////////////////////////////////////////////////////
/// Delegates to the `&str` impl. /// Delegates to the `&str` impl.
impl<'a, 'b> Pattern<'a> for &'b &'b str { impl<'a, 'b, 'c> Pattern<'a> for &'c &'b str {
pattern_methods!(StrSearcher<'a, 'b>, |&s| s, |s| s); pattern_methods!(StrSearcher<'a, 'b>, |&s| s, |s| s);
} }