diff options
Diffstat (limited to 'src/test/ui/issues/issue-25076.rs')
-rw-r--r-- | src/test/ui/issues/issue-25076.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/test/ui/issues/issue-25076.rs b/src/test/ui/issues/issue-25076.rs deleted file mode 100644 index 6c5a55392..000000000 --- a/src/test/ui/issues/issue-25076.rs +++ /dev/null @@ -1,11 +0,0 @@ -struct S; - -trait InOut<T> { type Out; } - -fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {} - -fn bot<T>() -> T { loop {} } - -fn main() { - do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied -} |