Struct c2rust_refactor::analysis::labeled_ty::LabeledTyS

pub struct LabeledTyS<'lty, 'tcx: 'lty, L: 'lty> {
    pub ty: Ty<'tcx>,
    pub args: &'lty [LabeledTy<'lty, 'tcx, L>],
    pub label: L,
}

The actual data for a labeled type.

This struct shouldn't be constructed directly - instead, use LabeledTyCtxt methods to build instances inside the tcx arena and return LabeledTy references.

Labeled types have to mimic the tree structure of the underlying Ty, so that each type constructor in the tree can have its own label. But maintaining a custom copy of TyKind would be annoying, so instead, we let labeled types form arbitrary trees, and make the LabeledTyCtxt responsible for making those trees match the Ty's structure.

Fields

ty: Ty<'tcx>

The underlying type.

args: &'lty [LabeledTy<'lty, 'tcx, L>]

The arguments of this type constructor. The number and meaning of these arguments depends on which type constructor this is (specifically, which TyKind variant is used for self.ty.sty).

label: L

The label for the current type constructor.

Methods

impl<'lty, 'tcx, L> LabeledTyS<'lty, 'tcx, L>

pub fn for_each_label<F: FnMut(&'lty L)>(&'lty self, callback: &mut F)

Trait Implementations

impl<'lty, 'tcx, L: Debug> Signature<&'lty LabeledTyS<'lty, 'tcx, L>> for FnSig<'lty, 'tcx, L>

fn num_inputs(&self) -> usize

fn input(&self, idx: usize) -> LabeledTy<'lty, 'tcx, L>

fn output(&self) -> LabeledTy<'lty, 'tcx, L>

impl<'lty, 'tcx: 'lty, L: Eq + 'lty> Eq for LabeledTyS<'lty, 'tcx, L>

impl<'lty, 'tcx: 'lty, L: PartialEq + 'lty> PartialEq<LabeledTyS<'lty, 'tcx, L>> for LabeledTyS<'lty, 'tcx, L>

fn eq(&self, other: &LabeledTyS<'lty, 'tcx, L>) -> bool

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

fn ne(&self, other: &LabeledTyS<'lty, 'tcx, L>) -> bool

This method tests for !=.

impl<'lty, 'tcx: 'lty, L: Clone + 'lty> Clone for LabeledTyS<'lty, 'tcx, L>

fn clone(&self) -> LabeledTyS<'lty, 'tcx, L>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'lty, 'tcx, L: Debug> Debug for LabeledTyS<'lty, 'tcx, L>

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

Formats the value using the given formatter.