Doesn't lifetime subtyping already do this? If it allows you to return something with 'a lifetime, then you will implicitly be allowed to return 'static.
Doesn't lifetime subtyping already do this? If it allows you to return something with 'a lifetime, then you will implicitly be allowed to return 'static.