diff options
Diffstat (limited to '')
| -rw-r--r-- | src/test/ui/issues/issue-15207.stderr | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-15207.stderr b/src/test/ui/issues/issue-15207.stderr new file mode 100644 index 000000000..25ce7cb5c --- /dev/null +++ b/src/test/ui/issues/issue-15207.stderr @@ -0,0 +1,9 @@ +error[E0599]: no method named `push` found for type `!` in the current scope + --> $DIR/issue-15207.rs:3:15 + | +LL | break.push(1) + | ^^^^ method not found in `!` + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0599`. |