Struct stable_mir::ty::Ty

pub struct Ty(usize);

Tuple Fields

0: usize

Implementations

impl Ty

Constructors for Ty.

pub fn from_rigid_kind(kind: RigidTy) -> Ty

Create a new type from a given kind.

pub fn try_new_array(elem_ty: Ty, size: u64) -> Result<Ty, Error>

Create a new array type.

pub fn new_array_with_const_len(elem_ty: Ty, len: Const) -> Ty

Create a new array type from Const length.

pub fn new_ptr(pointee_ty: Ty, mutability: Mutability) -> Ty

Create a new pointer type.

pub fn new_ref(reg: Region, pointee_ty: Ty, mutability: Mutability) -> Ty

Create a new reference type.

pub fn new_tuple(tys: &[Ty]) -> Ty

Create a new pointer type.

pub fn new_closure(def: ClosureDef, args: GenericArgs) -> Ty

Create a new closure type.

pub fn new_coroutine( def: CoroutineDef, args: GenericArgs, mov: Movability ) -> Ty

Create a new coroutine type.

pub fn new_box(inner_ty: Ty) -> Ty

Create a new box type that represents Box<T>, for the given inner type T.

pub fn usize_ty() -> Ty

Create a type representing usize.

pub fn bool_ty() -> Ty

Create a type representing bool.

pub fn signed_ty(inner: IntTy) -> Ty

Create a type representing a signed integer.

pub fn unsigned_ty(inner: UintTy) -> Ty

Create a type representing an unsigned integer.

pub fn layout(self) -> Result<Layout, Error>

Get a type layout.

impl Ty

pub fn kind(&self) -> TyKind

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Ty

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for Ty

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IndexedVal for Ty

fn to_val(index: usize) -> Self

fn to_index(&self) -> usize

impl PartialEq for Ty

fn eq(&self, other: &Ty) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Visitable for Ty

fn visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

fn super_visit<V: Visitor>(&self, visitor: &mut V) -> ControlFlow<V::Break>

impl Copy for Ty

impl Eq for Ty

impl StructuralPartialEq for Ty

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes