Skip to content

Commit

Permalink
Add regr. test for mutual recursion
Browse files Browse the repository at this point in the history
  • Loading branch information
JulianKnodt committed Dec 29, 2020
1 parent 257becb commit 2e049a6
Show file tree
Hide file tree
Showing 2 changed files with 31 additions and 0 deletions.
15 changes: 15 additions & 0 deletions src/test/ui/traits/mutual-recursion-issue-75860.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
pub fn iso<A, B, F1, F2>(a: F1, b: F2) -> (Box<dyn Fn(A) -> B>, Box<dyn Fn(B) -> A>)
where
F1: (Fn(A) -> B) + 'static,
F2: (Fn(B) -> A) + 'static,
{
(Box::new(a), Box::new(b))
}
pub fn iso_un_option<A, B>() -> (Box<dyn Fn(A) -> B>, Box<dyn Fn(B) -> A>) {
let left = |o_a: Option<_>| o_a.unwrap();
let right = |o_b: Option<_>| o_b.unwrap();
iso(left, right)
//~^ ERROR overflow
}

fn main() {}
16 changes: 16 additions & 0 deletions src/test/ui/traits/mutual-recursion-issue-75860.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
error[E0275]: overflow evaluating the requirement `Option<_>: Sized`
--> $DIR/mutual-recursion-issue-75860.rs:11:5
|
LL | iso(left, right)
| ^^^
|
::: $SRC_DIR/core/src/option.rs:LL:COL
|
LL | pub enum Option<T> {
| - required by this bound in `Option`
|
= help: consider adding a `#![recursion_limit="256"]` attribute to your crate (`mutual_recursion_issue_75860`)

error: aborting due to previous error

For more information about this error, try `rustc --explain E0275`.

0 comments on commit 2e049a6

Please sign in to comment.