pub(in solve) fn extract_tupled_inputs_and_output_from_async_callable<'tcx>(
    tcx: TyCtxt<'tcx>,
    self_ty: Ty<'tcx>,
    goal_kind: ClosureKind,
    env_region: Region<'tcx>
) -> Result<(Binder<'tcx, AsyncCallableRelevantTypes<'tcx>>, Vec<Predicate<'tcx>>), NoSolution>