pub struct IntTy(/* private fields */);Implementations§
Trait Implementations§
source§impl IntegerLikeTy for IntTy
impl IntegerLikeTy for IntTy
source§impl PartialEq for IntTy
impl PartialEq for IntTy
source§impl Print for IntTy
impl Print for IntTy
fn print(&self, __ctx: &Context, __state: &mut PrintState) -> PrintResult<()>
source§impl RunVerifiers for IntTy
impl RunVerifiers for IntTy
fn run_verifiers(&self, ctx: &Context) -> VerifyResult<()>
source§impl Ty for IntTy
impl Ty for IntTy
impl Eq for IntTy
impl StructuralPartialEq for IntTy
Auto Trait Implementations§
impl Freeze for IntTy
impl RefUnwindSafe for IntTy
impl Send for IntTy
impl Sync for IntTy
impl Unpin for IntTy
impl UnwindSafe for IntTy
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
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.