Module hax_frontend_exporter::traits::utils

source ·

Functions§

  • erase_all_regions
    Erase all regions. Largely copied from tcx.erase_regions.
  • erase_and_norm
  • predicates_of_or_above
    Just like TyCtxt::predicates_of, but in the case of a trait or impl item or closures, also includes the predicates defined on the parents. Also this returns the special Self clause separately.