-
Notifications
You must be signed in to change notification settings - Fork 13k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Showing
2 changed files
with
80 additions
and
0 deletions.
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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
//@ edition:2015 | ||
// test for ICE #121807 begin <= end (12 <= 11) when slicing 'Self::Assoc<'_>' | ||
// fixed by #122749 | ||
|
||
trait MemoryUnit { // ERROR: not all trait items implemented, missing: `read_word` | ||
extern "C" fn read_word(&mut self) -> u8; | ||
extern "C" fn read_dword(Self::Assoc<'_>) -> u16; | ||
//~^ WARN anonymous parameters are deprecated and will be removed in the next edition | ||
//~^^ WARN this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! | ||
//~^^^ ERROR associated type `Assoc` not found for `Self` | ||
} | ||
|
||
struct ROM {} | ||
|
||
impl MemoryUnit for ROM { | ||
//~^ ERROR not all trait items implemented, missing: `read_word` | ||
extern "C" fn read_dword(&'s self) -> u16 { | ||
//~^ ERROR use of undeclared lifetime name `'s` | ||
//~^^ ERROR method `read_dword` has a `&self` declaration in the impl, but not in the trait | ||
let a16 = self.read_word() as u16; | ||
let b16 = self.read_word() as u16; | ||
|
||
(b16 << 8) | a16 | ||
} | ||
} | ||
|
||
pub fn main() {} |
53 changes: 53 additions & 0 deletions
53
tests/ui/borrowck/ice-mutability-error-slicing-121807.stderr
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,53 @@ | ||
error[E0261]: use of undeclared lifetime name `'s` | ||
--> $DIR/ice-mutability-error-slicing-121807.rs:17:31 | ||
| | ||
LL | extern "C" fn read_dword(&'s self) -> u16 { | ||
| ^^ undeclared lifetime | ||
| | ||
help: consider introducing lifetime `'s` here | ||
| | ||
LL | extern "C" fn read_dword<'s>(&'s self) -> u16 { | ||
| ++++ | ||
help: consider introducing lifetime `'s` here | ||
| | ||
LL | impl<'s> MemoryUnit for ROM { | ||
| ++++ | ||
|
||
warning: anonymous parameters are deprecated and will be removed in the next edition | ||
--> $DIR/ice-mutability-error-slicing-121807.rs:7:30 | ||
| | ||
LL | extern "C" fn read_dword(Self::Assoc<'_>) -> u16; | ||
| ^^^^^^^^^^^^^^^ help: try naming the parameter or explicitly ignoring it: `_: Self::Assoc<'_>` | ||
| | ||
= warning: this is accepted in the current edition (Rust 2015) but is a hard error in Rust 2018! | ||
= note: for more information, see issue #41686 <https://github.com/rust-lang/rust/issues/41686> | ||
= note: `#[warn(anonymous_parameters)]` on by default | ||
|
||
error[E0220]: associated type `Assoc` not found for `Self` | ||
--> $DIR/ice-mutability-error-slicing-121807.rs:7:36 | ||
| | ||
LL | extern "C" fn read_dword(Self::Assoc<'_>) -> u16; | ||
| ^^^^^ associated type `Assoc` not found | ||
|
||
error[E0185]: method `read_dword` has a `&self` declaration in the impl, but not in the trait | ||
--> $DIR/ice-mutability-error-slicing-121807.rs:17:5 | ||
| | ||
LL | extern "C" fn read_dword(Self::Assoc<'_>) -> u16; | ||
| ------------------------------------------------- trait method declared without `&self` | ||
... | ||
LL | extern "C" fn read_dword(&'s self) -> u16 { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `&self` used in impl | ||
|
||
error[E0046]: not all trait items implemented, missing: `read_word` | ||
--> $DIR/ice-mutability-error-slicing-121807.rs:15:1 | ||
| | ||
LL | extern "C" fn read_word(&mut self) -> u8; | ||
| ----------------------------------------- `read_word` from trait | ||
... | ||
LL | impl MemoryUnit for ROM { | ||
| ^^^^^^^^^^^^^^^^^^^^^^^ missing `read_word` in implementation | ||
|
||
error: aborting due to 4 previous errors; 1 warning emitted | ||
|
||
Some errors have detailed explanations: E0046, E0185, E0220, E0261. | ||
For more information about an error, try `rustc --explain E0046`. |