Struct flux_rustc_bridge::ty::Ty

pub struct Ty(Interned<TyS>);

Tuple Fields

0: Interned<TyS>

Implementations

impl Ty

pub fn mk_adt(adt_def: AdtDef, args: impl Into<GenericArgs>) -> Ty

pub fn mk_closure(def_id: DefId, args: impl Into<GenericArgs>) -> Ty

pub fn mk_fn_def(def_id: DefId, args: impl Into<GenericArgs>) -> Ty

pub fn mk_coroutine(def_id: DefId, args: impl Into<GenericArgs>) -> Ty

pub fn mk_generator_witness(def_id: DefId, args: GenericArgs) -> Ty

pub fn mk_alias( kind: AliasKind, def_id: DefId, args: impl Into<GenericArgs>, ) -> Ty

pub fn mk_array(ty: Ty, c: Const) -> Ty

pub fn mk_slice(ty: Ty) -> Ty

pub fn mk_fn_ptr(fn_sig: PolyFnSig) -> Ty

pub fn mk_raw_ptr(ty: Ty, mutbl: Mutability) -> Ty

pub fn mk_bool() -> Ty

pub fn mk_float(float_ty: FloatTy) -> Ty

pub fn mk_int(int_ty: IntTy) -> Ty

pub fn mk_never() -> Ty

pub fn mk_param(param: ParamTy) -> Ty

pub fn mk_dynamic( exi_preds: impl Into<List<Binder<ExistentialPredicate>>>, r: Region, ) -> Ty

pub fn mk_ref(region: Region, ty: Ty, mutability: Mutability) -> Ty

pub fn mk_tuple(tys: impl Into<List<Ty>>) -> Ty

pub fn mk_uint(uint_ty: UintTy) -> Ty

pub fn mk_str() -> Ty

pub fn mk_char() -> Ty

pub fn deref(&self) -> Ty

pub fn kind(&self) -> &TyKind

pub fn tuple_fields(&self) -> &List<Ty>

pub fn expect_adt(&self) -> (&AdtDef, &GenericArgs)

pub fn is_mut_ref(&self) -> bool

pub fn is_box(&self) -> bool

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<__D: TyDecoder> Decodable<__D> for Ty

fn decode(__decoder: &mut __D) -> Self

impl<__E: TyEncoder> Encodable<__E> for Ty

fn encode(&self, __encoder: &mut __E)

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 PartialEq for Ty

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl SliceInternable for Ty

fn storage() -> &'static InternStorage<[Self]>

impl Subst for Ty

fn subst(&self, args: &[GenericArg]) -> Ty

impl<'tcx> ToRustc<'tcx> for Ty

type T = Ty<'tcx>

fn to_rustc(&self, tcx: TyCtxt<'tcx>) -> Ty<'tcx>

impl Eq for Ty

impl StructuralPartialEq for Ty