flux_middle::rty

Trait RefineArgsExt

Source 
pub trait RefineArgsExt {
    // Required method
    fn identity_for_item(
        genv: GlobalEnv<'_, '_>,
        def_id: DefId,
    ) -> QueryResult<RefineArgs>;
}

Required Methods§

Source

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

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§