diff --git a/tests/ui/traits/next-solver/unexpected-pointer-deref-issue-154568.rs b/tests/ui/traits/next-solver/unexpected-pointer-deref-issue-154568.rs
new file mode 100644
index 0000000000000..ca97b25fa64fa
--- /dev/null
+++ b/tests/ui/traits/next-solver/unexpected-pointer-deref-issue-154568.rs
@@ -0,0 +1,22 @@
+// Regression test for #154568
+//@ compile-flags: -Znext-solver=globally
+
+trait Role {
+    type Inner;
+}
+
+struct HandshakeCallback<C>(C);
+struct Handshake<R: Role>(R::Inner);
+
+fn main() {
+    let callback = HandshakeCallback(());
+    let handshake = Handshake(callback.0.clone());
+    //~^ ERROR type annotations needed
+    match &handshake {
+        hs if (|| {
+            let borrowed_inner = &hs.0;
+            borrowed_inner == &callback.0
+        })() => println!(),
+        _ => {}
+    }
+}
diff --git a/tests/ui/traits/next-solver/unexpected-pointer-deref-issue-154568.stderr b/tests/ui/traits/next-solver/unexpected-pointer-deref-issue-154568.stderr
new file mode 100644
index 0000000000000..3c5a00744a636
--- /dev/null
+++ b/tests/ui/traits/next-solver/unexpected-pointer-deref-issue-154568.stderr
@@ -0,0 +1,20 @@
+error[E0283]: type annotations needed for `Handshake<_>`
+  --> $DIR/unexpected-pointer-deref-issue-154568.rs:13:9
+   |
+LL |     let handshake = Handshake(callback.0.clone());
+   |         ^^^^^^^^^   ----------------------------- type must be known at this point
+   |
+   = note: the type must implement `Role`
+note: required by a bound in `Handshake`
+  --> $DIR/unexpected-pointer-deref-issue-154568.rs:9:21
+   |
+LL | struct Handshake<R: Role>(R::Inner);
+   |                     ^^^^ required by this bound in `Handshake`
+help: consider giving `handshake` an explicit type, where the type for type parameter `R` is specified
+   |
+LL |     let handshake: Handshake<R> = Handshake(callback.0.clone());
+   |                  ++++++++++++++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0283`.