Struct rustc_trait_selection::traits::const_evaluatable::AbstractConst

pub struct AbstractConst<'tcx> {
    pub inner: &'tcx [Node<'tcx>],
    pub substs: SubstsRef<'tcx>,
}

A tree representing an anonymous constant.

This is only able to represent a subset of MIR, and should not leak any information about desugarings.

Fields

inner: &'tcx [Node<'tcx>]

substs: SubstsRef<'tcx>

Implementations

impl<'tcx> AbstractConst<'tcx>

pub fn new(
    tcx: TyCtxt<'tcx>,
    def: WithOptConstParam<DefId>,
    substs: SubstsRef<'tcx>
) -> Result<Option<AbstractConst<'tcx>>, ErrorReported>

pub fn from_const(
    tcx: TyCtxt<'tcx>,
    ct: &Const<'tcx>
) -> Result<Option<AbstractConst<'tcx>>, ErrorReported>

pub fn subtree(self, node: NodeId) -> AbstractConst<'tcx>

pub fn root(self) -> Node<'tcx>

Trait Implementations

impl<'tcx> Clone for AbstractConst<'tcx>

pub fn clone(&self) -> AbstractConst<'tcx>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Copy for AbstractConst<'tcx>

impl<'tcx> Debug for AbstractConst<'tcx>

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

Formats the value using the given formatter.