|
//@ run-pass
|
|
#![allow(dead_code)]
|
|
// Test that we recognize that if you have
|
|
//
|
|
// 'a : 'static
|
|
//
|
|
// then
|
|
//
|
|
// 'a : 'b
|
|
|
|
#![warn(redundant_lifetimes)]
|
|
|
|
fn test<'a,'b>(x: &'a i32) -> &'b i32 //~ WARN unnecessary lifetime parameter `'a`
|
|
where 'a: 'static
|
|
{
|
|
x
|
|
}
|
|
|
|
fn main() { }
|