Trait RefineArgsExt

pub trait RefineArgsExt {
    // Required methods
    fn identity_for_item(
        genv: GlobalEnv<'_, '_>,
        def_id: DefId,
    ) -> QueryResult<RefineArgs>;
    fn for_item<F>(
        genv: GlobalEnv<'_, '_>,
        def_id: DefId,
        mk: F,
    ) -> QueryResult<RefineArgs>
       where F: FnMut(EarlyBinder<RefineParam>, usize) -> Expr;
}

Required Methods

fn identity_for_item( genv: GlobalEnv<'_, '_>, def_id: DefId, ) -> QueryResult<RefineArgs>

fn for_item<F>( genv: GlobalEnv<'_, '_>, def_id: DefId, mk: F, ) -> QueryResult<RefineArgs>

where F: FnMut(EarlyBinder<RefineParam>, usize) -> Expr,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl RefineArgsExt for RefineArgs