[nynx]

People use Arc and Rc all the time, which would need +?Leak annotations. Things like Option would, I think, also need + ?Move + ?Leak annotations.

[bryanlarsen]

If it is an unobtrusive as the existing ?Trait annotations such as ?Sized it's not very much of a burden.