enum RequireSort {
Yes,
Maybe,
No,
}
Expand description
Whether a sort is required in a refinement parameter declaration.
Variants§
Yes
Definitely require a sort
Maybe
Optional sort. Use Sort::Infer
if not present
No
Definitely do not not require a sort. Always use Sort::Infer
Auto Trait Implementations§
impl Freeze for RequireSort
impl RefUnwindSafe for RequireSort
impl Send for RequireSort
impl Sync for RequireSort
impl Unpin for RequireSort
impl UnwindSafe for RequireSort
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more