-
Notifications
You must be signed in to change notification settings - Fork 12.6k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
7d01aa8
commit 19a54e8
Showing
3 changed files
with
134 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,33 @@ | ||
#![feature(nll)] | ||
|
||
// Check that we assert that pointers have a common subtype for comparisons | ||
|
||
fn compare_const<'a, 'b>(x: *const &mut &'a i32, y: *const &mut &'b i32) { | ||
x == y; | ||
//~^ ERROR lifetime may not live long enough | ||
//~| ERROR lifetime may not live long enough | ||
} | ||
|
||
fn compare_mut<'a, 'b>(x: *mut &'a i32, y: *mut &'b i32) { | ||
x == y; | ||
//~^ ERROR lifetime may not live long enough | ||
//~| ERROR lifetime may not live long enough | ||
} | ||
|
||
fn compare_fn_ptr<'a, 'b, 'c>(f: fn(&'c mut &'a i32), g: fn(&'c mut &'b i32)) { | ||
f == g; | ||
//~^ ERROR lifetime may not live long enough | ||
//~| ERROR lifetime may not live long enough | ||
} | ||
|
||
fn compare_hr_fn_ptr<'a>(f: fn(&'a i32), g: fn(&i32)) { | ||
// Ideally this should compile with the operands swapped as well, but HIR | ||
// type checking prevents it (and stops compilation) for now. | ||
f == g; // OK | ||
} | ||
|
||
fn compare_const_fn_ptr<'a>(f: *const fn(&'a i32), g: *const fn(&i32)) { | ||
f == g; // OK | ||
} | ||
|
||
fn main() {} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,62 @@ | ||
error: lifetime may not live long enough | ||
--> $DIR/type-check-pointer-comparisons.rs:6:5 | ||
| | ||
LL | fn compare_const<'a, 'b>(x: *const &mut &'a i32, y: *const &mut &'b i32) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | x == y; | ||
| ^ requires that `'a` must outlive `'b` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/type-check-pointer-comparisons.rs:6:10 | ||
| | ||
LL | fn compare_const<'a, 'b>(x: *const &mut &'a i32, y: *const &mut &'b i32) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | x == y; | ||
| ^ requires that `'b` must outlive `'a` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/type-check-pointer-comparisons.rs:12:5 | ||
| | ||
LL | fn compare_mut<'a, 'b>(x: *mut &'a i32, y: *mut &'b i32) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | x == y; | ||
| ^ requires that `'a` must outlive `'b` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/type-check-pointer-comparisons.rs:12:10 | ||
| | ||
LL | fn compare_mut<'a, 'b>(x: *mut &'a i32, y: *mut &'b i32) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | x == y; | ||
| ^ requires that `'b` must outlive `'a` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/type-check-pointer-comparisons.rs:18:5 | ||
| | ||
LL | fn compare_fn_ptr<'a, 'b, 'c>(f: fn(&'c mut &'a i32), g: fn(&'c mut &'b i32)) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | f == g; | ||
| ^ requires that `'a` must outlive `'b` | ||
|
||
error: lifetime may not live long enough | ||
--> $DIR/type-check-pointer-comparisons.rs:18:10 | ||
| | ||
LL | fn compare_fn_ptr<'a, 'b, 'c>(f: fn(&'c mut &'a i32), g: fn(&'c mut &'b i32)) { | ||
| -- -- lifetime `'b` defined here | ||
| | | ||
| lifetime `'a` defined here | ||
LL | f == g; | ||
| ^ requires that `'b` must outlive `'a` | ||
|
||
error: aborting due to 6 previous errors | ||
|