about summary refs log tree commit diff
path: root/src/test/ui/issues
diff options
context:
space:
mode:
authorMazdak Farrokhzad <twingoow@gmail.com>2019-09-23 00:36:36 +0200
committerGitHub <noreply@github.com>2019-09-23 00:36:36 +0200
commitb66e7323e63027a29af213abb031c584bb5c2767 (patch)
treeea661b10a798c8387eba6dfad106c19729d20018 /src/test/ui/issues
parentda58e11d0265ee8412a21d63cf972955754769b6 (diff)
parentdaed67481511b65475069214cd8325ca9d018509 (diff)
downloadrust-b66e7323e63027a29af213abb031c584bb5c2767.tar.gz
rust-b66e7323e63027a29af213abb031c584bb5c2767.zip
Rollup merge of #64674 - estebank:knock-down-the-wall, r=Centril
Propagate `types.err` in locals further to avoid spurious knock-down errors

Fix #33575, fix #44504.
Diffstat (limited to 'src/test/ui/issues')
-rw-r--r--src/test/ui/issues/issue-33575.rs4
-rw-r--r--src/test/ui/issues/issue-33575.stderr9
2 files changed, 13 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-33575.rs b/src/test/ui/issues/issue-33575.rs
new file mode 100644
index 00000000000..09c499452ad
--- /dev/null
+++ b/src/test/ui/issues/issue-33575.rs
@@ -0,0 +1,4 @@
+fn main() {
+    let baz = ().foo(); //~ ERROR no method named `foo` found for type `()` in the current scope
+    <i32 as std::str::FromStr>::from_str(&baz); // No complaints about `str` being unsized
+}
diff --git a/src/test/ui/issues/issue-33575.stderr b/src/test/ui/issues/issue-33575.stderr
new file mode 100644
index 00000000000..e6b74d262c3
--- /dev/null
+++ b/src/test/ui/issues/issue-33575.stderr
@@ -0,0 +1,9 @@
+error[E0599]: no method named `foo` found for type `()` in the current scope
+  --> $DIR/issue-33575.rs:2:18
+   |
+LL |     let baz = ().foo();
+   |                  ^^^ method not found in `()`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0599`.