&'static T is different from T: 'static

Type with static $\ne$ type bounded by static

---

&‘static T

• Is an immutable reference to some T that can be safely held indefinitely long (including up until the end of the program).
• &'static T if and only if T is immutable and does not move after the reference &T was created.

T: ‘static

• Is some T that can be safely held indefinitely long (including up until the end of the program)
• T: 'static is a superset of &'static T and all owned types
• T: 'static should be read as “T can live at least as long as a 'static lifetime”