diff options
Diffstat (limited to 'src/test/ui/issues/issue-15207.rs')
-rw-r--r-- | src/test/ui/issues/issue-15207.rs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/test/ui/issues/issue-15207.rs b/src/test/ui/issues/issue-15207.rs deleted file mode 100644 index 356e55ac9..000000000 --- a/src/test/ui/issues/issue-15207.rs +++ /dev/null @@ -1,6 +0,0 @@ -fn main() { - loop { - break.push(1) //~ ERROR no method named `push` found for type `!` - ; - } -} |