Struct rustc_ty_utils::consts::AbstractConstBuilder

pub struct AbstractConstBuilder<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    body_id: ExprId,
    body: &'a Thir<'tcx>,
    nodes: IndexVec<NodeId, Node<'tcx>>,
}

Fields

tcx: TyCtxt<'tcx>

body_id: ExprId

body: &'a Thir<'tcx>

nodes: IndexVec<NodeId, Node<'tcx>>

The current WIP node tree.

Implementations

impl<'a, 'tcx> AbstractConstBuilder<'a, 'tcx>

fn root_span(&self) -> Span

fn error(
    &mut self,
    sub: GenericConstantTooComplexSub
) -> Result<!, ErrorGuaranteed>

fn maybe_supported_error(
    &mut self,
    sub: GenericConstantTooComplexSub
) -> Result<!, ErrorGuaranteed>

pub fn new(
    tcx: TyCtxt<'tcx>,
    (body, body_id): (&'a Thir<'tcx>, ExprId)
) -> Result<Option<AbstractConstBuilder<'a, 'tcx>>, ErrorGuaranteed>

fn check_binop(op: BinOp) -> bool

We do not allow all binary operations in abstract consts, so filter disallowed ones.

fn check_unop(op: UnOp) -> bool

While we currently allow all unary operations, we still want to explicitly guard against future changes here.

pub fn build(self) -> Result<&'tcx [Node<'tcx>], ErrorGuaranteed>

Builds the abstract const by walking the thir and bailing out when encountering an unsupported operation.

fn recurse_build(&mut self, node: ExprId) -> Result<NodeId, ErrorGuaranteed>

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: 48 bytes