From beae0d298e5682f12bbf09ba12619751ec9548ea Mon Sep 17 00:00:00 2001
From: mejrs <>
Date: Mon, 24 Oct 2022 20:52:51 +0200
Subject: [PATCH] Address some comments

---
 tests/ui/track-diagnostics.rs     |  8 ++++++++
 tests/ui/track-diagnostics.stderr | 10 ++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 tests/ui/track-diagnostics.rs
 create mode 100644 tests/ui/track-diagnostics.stderr

diff --git a/tests/ui/track-diagnostics.rs b/tests/ui/track-diagnostics.rs
new file mode 100644
index 000000000..8c96f46d5
--- /dev/null
+++ b/tests/ui/track-diagnostics.rs
@@ -0,0 +1,8 @@
+// compile-flags: -Z track-diagnostics
+// error-pattern: created at
+
+struct A;
+struct B;
+const S: A = B;
+
+fn main() {}
diff --git a/tests/ui/track-diagnostics.stderr b/tests/ui/track-diagnostics.stderr
new file mode 100644
index 000000000..76453cfe2
--- /dev/null
+++ b/tests/ui/track-diagnostics.stderr
@@ -0,0 +1,10 @@
+error[E0308]: mismatched types
+  --> $DIR/track-diagnostics.rs:6:14
+   |
+LL | const S: A = B;
+   |              ^ expected struct `A`, found struct `B`
+-Ztrack-diagnostics: created at compiler/rustc_infer/src/infer/error_reporting/mod.rs:2275:31
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.