hax_frontend_exporter::traits::utils

Function 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.