1 files changed, 8 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-32323.rs b/src/test/ui/issues/issue-32323.rs
new file mode 100644
index 000000000..5078f5523
--- /dev/null
+++ b/src/test/ui/issues/issue-32323.rs
@@ -0,0 +1,8 @@
+pub trait Tr<'a> {
+    type Out;
+}
+
+pub fn f<'a, T: Tr<'a>>() -> <T as Tr<'a>>::Out {}
+//~^ ERROR mismatched types
+
+pub fn main() {}