[bryanlarsen]

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