Trait Mode 

trait Mode: Sized {
    const _NAME: &'static str;

    // Required methods
    fn projection(
        analysis: &mut FoldUnfoldAnalysis<'_, '_, '_, Self>,
        env: &mut Env,
        place: &Place,
    ) -> QueryResult;
    fn goto_join_point(
        analysis: &mut FoldUnfoldAnalysis<'_, '_, '_, Self>,
        target: BasicBlock,
        env: Env,
    ) -> QueryResult<bool>;
    fn ret(analysis: &mut FoldUnfoldAnalysis<'_, '_, '_, Self>, env: &Env);
}

Required Associated Constants

const _NAME: &'static str

Required Methods

fn projection( analysis: &mut FoldUnfoldAnalysis<'_, '_, '_, Self>, env: &mut Env, place: &Place, ) -> QueryResult

fn goto_join_point( analysis: &mut FoldUnfoldAnalysis<'_, '_, '_, Self>, target: BasicBlock, env: Env, ) -> QueryResult<bool>

fn ret(analysis: &mut FoldUnfoldAnalysis<'_, '_, '_, Self>, env: &Env)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl Mode for Elaboration<'_>

const _NAME: &'static str = "elaboration"

impl Mode for Infer

const _NAME: &'static str = "infer"