Attribute Macro assumptions

#[assumptions]

Indicate that code has non-obvious assumptions. Accepts a string literal describing the assumptions, like #[assumptions("assumes sorted input")]. This attribute does not modify the item it annotates.