Trait HasParamEnv

pub trait HasParamEnv<'tcx> {
    // Required methods
    fn param_env(&self) -> ParamEnv<'tcx>;
    fn typing_env(&self) -> TypingEnv<'tcx>;
}

Required Methods

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

fn typing_env(&self) -> TypingEnv<'tcx>

Implementors

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