1 files changed, 7 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-18532.rs b/src/test/ui/issues/issue-18532.rs
new file mode 100644
index 000000000..31fd87961
--- /dev/null
+++ b/src/test/ui/issues/issue-18532.rs
@@ -0,0 +1,7 @@
+// Test that overloaded call parameter checking does not ICE
+// when a type error or unconstrained type variable propagates
+// into it.
+
+fn main() {
+    (return)((),()); //~ ERROR expected function, found `!`
+}