1 files changed, 10 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-37665.rs b/src/test/ui/issues/issue-37665.rs
new file mode 100644
index 000000000..81ff478aa
--- /dev/null
+++ b/src/test/ui/issues/issue-37665.rs
@@ -0,0 +1,10 @@
+// compile-flags: -Z unpretty=mir
+
+use std::path::MAIN_SEPARATOR;
+
+fn main() {
+    let mut foo : String = "hello".to_string();
+    foo.push(MAIN_SEPARATOR);
+    println!("{}", foo);
+    let x: () = 0; //~ ERROR: mismatched types
+}