Redirecting to struct.normalize_ty_after_erasing_regions.html...