summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/mutual-recursion-issue-75860.rs
blob: d7d7307b42431f568411e3188f0232b247ad3aaf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
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() {}