Function hax_frontend_exporter::traits::utils::erase_all_regions

source ยท 
pub fn erase_all_regions<'tcx, T>(tcx: TyCtxt<'tcx>, value: T) -> T
where
    T: TypeFoldable<TyCtxt<'tcx>>,
Expand description

Erase all regions. Largely copied from tcx.erase_regions.