trait Foo {
        type bar_Returns<'s>: Future<Output = Result<u64, ()>>
        where Self: 's;

        fn bar<'s>(&'s self) -> Self::bar_Returns<'s>;
    }