pub(crate) fn args_known_to_outlive_non_opaque_params<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
) -> EarlyBinder<'tcx, Vec<(Region<'tcx>, Vec<GenericArg<'tcx>>)>>pub(crate) fn args_known_to_outlive_non_opaque_params<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: LocalDefId,
) -> EarlyBinder<'tcx, Vec<(Region<'tcx>, Vec<GenericArg<'tcx>>)>>