#![feature(unboxed_closures)]

use std::future::Future;

fn foo<F, S>(_: F)
where
    F: for<'a> FnMut<(&'a mut S,)>,
    F::Output: Future<Output = ()>,
{}