Trait HasTypingEnv

Source
pub trait HasTypingEnv<'tcx> {
    // Required method
    fn typing_env(&self) -> TypingEnv<'tcx>;

    // Provided method
    fn param_env(&self) -> ParamEnv<'tcx> { ... }
}

Required Methods§

Source

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

Provided Methods§

Source

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

FIXME(#132279): This method should not be used as in the future everything should take a TypingEnv instead. Remove it as that point.

Implementors§

Source§

impl<'tcx> HasTypingEnv<'tcx> for LayoutCx<'tcx>

impl<'tcx> HasTypingEnv<'tcx> for GenericBuilder<'_, '_, CodegenCx<'_, 'tcx>>

impl<'tcx, 'll> HasTypingEnv<'tcx> for CodegenCx<'ll, 'tcx>

impl<'tcx, M> HasTypingEnv<'tcx> for InterpCx<'tcx, M>
where M: Machine<'tcx>,

impl<'tcx> HasTypingEnv<'tcx> for LateContext<'tcx>

impl<'tcx> HasTypingEnv<'tcx> for ConstPropagator<'_, 'tcx>

impl<'tcx> HasTypingEnv<'tcx> for UnwrapLayoutCx<'tcx>

impl<'tcx> HasTypingEnv<'tcx> for Tables<'tcx>