Surely this is a huge bug in rust's type system if the 0 is allowed here and the lifetime is incorrect. I.e. it either lasts long enough or the compiler will complain?