Function hax_frontend_exporter::traits::utils::erase_and_norm

source ยท 
pub fn erase_and_norm<'tcx, T>(
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    x: T,
) -> T
where
    T: TypeFoldable<TyCtxt<'tcx>> + Copy,