warning: not reporting region error due to -Znll
--> $DIR/propagate-approximated-ref.rs:57:9
|
-57 | demand_y(x, y, x.get()) //~ WARNING not reporting region error due to -Znll
+LL | demand_y(x, y, x.get()) //~ WARNING not reporting region error due to -Znll
| ^^^^^^^^^^^^^^^^^^^^^^^
note: External requirements
--> $DIR/propagate-approximated-ref.rs:53:47
|
-53 | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| {
+LL | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| {
| _______________________________________________^
-54 | | //~^ ERROR lifetime mismatch
-55 | |
-56 | | // Only works if 'x: 'y:
-57 | | demand_y(x, y, x.get()) //~ WARNING not reporting region error due to -Znll
-58 | | });
+LL | | //~^ ERROR lifetime mismatch
+LL | |
+LL | | // Only works if 'x: 'y:
+LL | | demand_y(x, y, x.get()) //~ WARNING not reporting region error due to -Znll
+LL | | });
| |_____^
|
= note: defining type: DefId(0/1:18 ~ propagate_approximated_ref[317d]::supply[0]::{{closure}}[0]) with closure substs [
error[E0623]: lifetime mismatch
--> $DIR/propagate-approximated-ref.rs:53:29
|
-52 | fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) {
+LL | fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) {
| ------- -------
| |
| these two types are declared with different lifetimes...
-53 | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| {
+LL | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| {
| ^^^^^^^ ...but data from `cell_a` flows into `cell_b` here
note: No external requirements
--> $DIR/propagate-approximated-ref.rs:52:1
|
-52 | / fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) {
-53 | | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| {
-54 | | //~^ ERROR lifetime mismatch
-55 | |
+LL | / fn supply<'a, 'b>(cell_a: Cell<&'a u32>, cell_b: Cell<&'b u32>) {
+LL | | establish_relationships(&cell_a, &cell_b, |_outlives1, _outlives2, x, y| {
+LL | | //~^ ERROR lifetime mismatch
+LL | |
... |
-58 | | });
-59 | | }
+LL | | });
+LL | | }
| |_^
|
= note: defining type: DefId(0/0:6 ~ propagate_approximated_ref[317d]::supply[0]) with substs []
error: aborting due to previous error
+For more information about this error, try `rustc --explain E0623`.