diff options
Diffstat (limited to 'src/test/ui/generic-associated-types/issue-79636-1.rs')
-rw-r--r-- | src/test/ui/generic-associated-types/issue-79636-1.rs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/generic-associated-types/issue-79636-1.rs b/src/test/ui/generic-associated-types/issue-79636-1.rs deleted file mode 100644 index a89039b5c..000000000 --- a/src/test/ui/generic-associated-types/issue-79636-1.rs +++ /dev/null @@ -1,21 +0,0 @@ -trait Monad { - type Unwrapped; - type Wrapped<B>; - - fn bind<B, F>(self, f: F) -> Self::Wrapped<B> { - todo!() - } -} - -fn join<MOuter, MInner, A>(outer: MOuter) -> MOuter::Wrapped<A> -where - MOuter: Monad<Unwrapped = MInner>, - MInner: Monad<Unwrapped = A, Wrapped = MOuter::Wrapped<A>>, - //~^ ERROR: missing generics for associated type `Monad::Wrapped` -{ - outer.bind(|inner| inner) -} - -fn main() { - assert_eq!(join(Some(Some(true))), Some(true)); -} |