P2674R1

A trait for implicit lifetime types