Struct rustc_smir::rustc_internal::StableMir

pub struct StableMir<B = (), C = ()>where
    B: Send,
    C: Send,{
    args: Vec<String>,
    callback: fn(_: TyCtxt<'_>) -> ControlFlow<B, C>,
    result: Option<ControlFlow<B, C>>,
}

Fields

args: Vec<String>

callback: fn(_: TyCtxt<'_>) -> ControlFlow<B, C>

result: Option<ControlFlow<B, C>>

Implementations

impl<B, C> StableMir<B, C>where B: Send, C: Send,

pub fn new( args: Vec<String>, callback: fn(_: TyCtxt<'_>) -> ControlFlow<B, C> ) -> Self

Creates a new StableMir instance, with given test_function and arguments.

pub fn run(&mut self) -> Result<C, CompilerError<B>>

Runs the compiler against given target and tests it with test_function

Trait Implementations

impl<B, C> Callbacks for StableMir<B, C>where B: Send, C: Send,

fn after_analysis<'tcx>( &mut self, _compiler: &Compiler, queries: &'tcx Queries<'tcx> ) -> Compilation

Called after analysis. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

fn config(&mut self, _config: &mut Config)

Called before creating the compiler instance

fn after_crate_root_parsing<'tcx>( &mut self, _compiler: &Compiler, _queries: &'tcx Queries<'tcx> ) -> Compilation

Called after parsing the crate root. Submodules are not yet parsed when this callback is called. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

fn after_expansion<'tcx>( &mut self, _compiler: &Compiler, _queries: &'tcx Queries<'tcx> ) -> Compilation

Called after expansion. Return value instructs the compiler whether to continue the compilation afterwards (defaults to Compilation::Continue)

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.