Attribute Macro vstd::prelude::requires

#[requires]