1 #![feature(generic_associated_types)]
7 fn bind<B, F>(self, f: F) -> Self::Wrapped<B> {
12 fn join<MOuter, MInner, A>(outer: MOuter) -> MOuter::Wrapped<A>
14 MOuter: Monad<Unwrapped = MInner>,
15 MInner: Monad<Unwrapped = A, Wrapped = MOuter::Wrapped<A>>,
16 //~^ ERROR: missing generics for associated type `Monad::Wrapped`
18 outer.bind(|inner| inner)
22 assert_eq!(join(Some(Some(true))), Some(true));