Allow generics over &'static &'static T and &'static T

[mdinger]

Rust can generalize over most types but it can't seem to over these because the reference/lifetimes they contain apparently.

• PERLD has type &'static &'static [(char, char)]
• PERLW has type &'static [(char, char)]

// I'd like to write like below or something similar which could handle both cases.
// I'm using `*` like globs but I don't really know what the syntax should be...
fn works<'a>(t: &'a* [(char, char)]) {}

[bluss]

Can you use a trait implemented for each of the two types?

[mdinger]

Yes that works but it would still be nice if the &'static &'static could be handled somehow generically. The types are inherently similar.

The syntax I used would also restrict all lifetimes to being the same. I don't know how you could syntactically handle varying lifetimes...

[Centril]

I believe this should be possible with #2532 and #1210 (RemoveRef as described in the RFC) so I am closing this.