fn ordering1<'a, 'b>(x: &'a &'b usize) -> &'a usize {
    // It is safe to assume that 'a <= 'b due to the type of x
    let y: &'b usize = &**x;
    return y;
}
// Tests that callees correctly infer an ordering between free regions
// that appear in their parameter list.  See also
// regions-free-region-ordering-caller.rs
Tests that callees correctly infer an ordering between free regions
that appear in their parameter list.
Tests that callees correctly infer an ordering between free regions that appear in their parameter list .
fn ordering1<'a, 'b>(x: &'a &'b usize) -> &'a usize {
    // It is safe to assume that 'a <= 'b due to the type of x
    let y: &'b usize = &**x;
    return y;
}
fn ordering1 < ' a , ' b > ( x : & ' a & ' b usize ) -> & ' a usize { // It is safe to assume that 'a <= 'b due to the type of x let y : & ' b usize = & * * x ; return y ; }
Tests that callees correctly infer an ordering between free regions
that appear in their parameter list.
Tests that callees correctly infer an ordering between free regions that appear in their parameter list .
x
&'a &'b usize
x
&'a &'b usize