Struct rustc_trait_selection::traits::const_evaluatable::AbstractConstBuilder

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, span: Span, msg: &str) -> Result<!, ErrorReported>

fn maybe_supported_error(
    &mut self,
    span: Span,
    msg: &str
) -> Result<!, ErrorReported>

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

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.

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

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

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

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