diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2019-03-01 14:42:39 -0800 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2019-03-01 14:42:39 -0800 |
| commit | dc4973dfd918f5d71cd8e5c8e5aac5b8a86bf4e4 (patch) | |
| tree | 7e2f269860f0c23ed538d7b5dbd2c8a2841befca /src/test | |
| parent | c1d2d83ca3b5155468ab96b09a7c54568449b137 (diff) | |
| download | rust-dc4973dfd918f5d71cd8e5c8e5aac5b8a86bf4e4.tar.gz rust-dc4973dfd918f5d71cd8e5c8e5aac5b8a86bf4e4.zip | |
Expand where negative supertrait specific error is shown
Fix #58857.
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/ui/issues/issue-58857.rs | 7 | ||||
| -rw-r--r-- | src/test/ui/issues/issue-58857.stderr | 8 |
2 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-58857.rs b/src/test/ui/issues/issue-58857.rs new file mode 100644 index 00000000000..392e4ea0c2e --- /dev/null +++ b/src/test/ui/issues/issue-58857.rs @@ -0,0 +1,7 @@ +struct Conj<A> {a : A} +trait Valid {} + +impl<A: !Valid> Conj<A>{} +//~^ ERROR negative trait bounds are not supported + +fn main() {} diff --git a/src/test/ui/issues/issue-58857.stderr b/src/test/ui/issues/issue-58857.stderr new file mode 100644 index 00000000000..040e9eb8a65 --- /dev/null +++ b/src/test/ui/issues/issue-58857.stderr @@ -0,0 +1,8 @@ +error: negative trait bounds are not supported + --> $DIR/issue-58857.rs:4:7 + | +LL | impl<A: !Valid> Conj<A>{} + | ^^^^^^^^ help: remove the trait bound + +error: aborting due to previous error + |