hax_frontend_exporter

Trait ParamEnv

source 
pub trait ParamEnv<'tcx> {
    // Required method
    fn param_env(&self) -> ParamEnv<'tcx>;
}

Required Methods§

source

fn param_env(&self) -> ParamEnv<'tcx>

Implementors§

source§

impl<'tcx, S: UnderOwnerState<'tcx>> ParamEnv<'tcx> for S