pub fn try_normalize_generic_arg_after_erasing_regions<'tcx>(
tcx: TyCtxt<'tcx>,
goal: PseudoCanonicalInput<'tcx, GenericArg<'tcx>>,
) -> Stringpub fn try_normalize_generic_arg_after_erasing_regions<'tcx>(
tcx: TyCtxt<'tcx>,
goal: PseudoCanonicalInput<'tcx, GenericArg<'tcx>>,
) -> String