diff --git a/std/sumtype.d b/std/sumtype.d
index 84b8362fc..5068da6de 100644
--- a/std/sumtype.d
+++ b/std/sumtype.d
@@ -1830,7 +1830,7 @@ class MatchException : Exception
 template canMatch(alias handler, Ts...)
 if (Ts.length > 0)
 {
-    enum canMatch = is(typeof((ref Ts args) => handler(args)));
+    enum canMatch = is(typeof(auto ref (ref Ts args) => handler(args)));
 }
 
 ///
@@ -1855,6 +1855,21 @@ if (Ts.length > 0)
     assert(canMatch!(OverloadSet.fun, double));
 }
 
+// Allows returning non-copyable types by ref
+// https://github.com/dlang/phobos/issues/10647
+@safe unittest
+{
+    static struct NoCopy
+    {
+        @disable this(this);
+    }
+
+    static NoCopy lvalue;
+    static ref handler(int _) => lvalue;
+
+    assert(canMatch!(handler, int));
+}
+
 // Like aliasSeqOf!(iota(n)), but works in BetterC
 private template Iota(size_t n)
 {