diff options
| author | Nicolas Barrios <nbarrios1337@gmail.com> | 2022-10-19 22:06:50 -0400 |
|---|---|---|
| committer | Nicolas Barrios <nbarrios1337@gmail.com> | 2022-10-20 20:08:27 -0400 |
| commit | 770538ef9b9a93038983ee5d82e07754c279df06 (patch) | |
| tree | b1a8b243e0920302ee9708aea4cb6867b336fe3f /src/test/ui/error-codes | |
| parent | dcb376115066d111dbf5f13d5ac2a2dbe8c12add (diff) | |
Add fix suggestions for E0199, E0200, and E0569
Diffstat (limited to 'src/test/ui/error-codes')
| -rw-r--r-- | src/test/ui/error-codes/E0199.stderr | 6 | ||||
| -rw-r--r-- | src/test/ui/error-codes/E0200.stderr | 6 |
2 files changed, 12 insertions, 0 deletions
diff --git a/src/test/ui/error-codes/E0199.stderr b/src/test/ui/error-codes/E0199.stderr index 3632d26cd32..99d808c0d4b 100644 --- a/src/test/ui/error-codes/E0199.stderr +++ b/src/test/ui/error-codes/E0199.stderr @@ -3,6 +3,12 @@ error[E0199]: implementing the trait `Bar` is not unsafe | LL | unsafe impl Bar for Foo { } | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ + | +help: remove `unsafe` from this trait implementation + | +LL - unsafe impl Bar for Foo { } +LL + impl Bar for Foo { } + | error: aborting due to previous error diff --git a/src/test/ui/error-codes/E0200.stderr b/src/test/ui/error-codes/E0200.stderr index 677271aad44..1fd86aecee1 100644 --- a/src/test/ui/error-codes/E0200.stderr +++ b/src/test/ui/error-codes/E0200.stderr @@ -3,6 +3,12 @@ error[E0200]: the trait `Bar` requires an `unsafe impl` declaration | LL | impl Bar for Foo { } | ^^^^^^^^^^^^^^^^^^^^ + | + = note: the trait `Bar` enforces invariants that the compiler can't check. Review the trait documentation and make sure this implementation upholds those invariants before adding the `unsafe` keyword +help: add `unsafe` to this trait implementation + | +LL | unsafe impl Bar for Foo { } + | ++++++ error: aborting due to previous error |