Type Alias flux_middle::rty::RefineArgs

pub type RefineArgs = List<Expr>;

Aliased Type

struct RefineArgs { /* private fields */ }

Trait Implementations

impl RefineArgsExt for RefineArgs

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