Function staticize_lifetimes 

fn staticize_lifetimes(ty: &Type) -> Type

Replaces every lifetime in ty with 'static, so a type written against the trait impl’s 'a can be named in a function body.