diff --git a/test/Generics/issue-84419.swift b/test/Generics/issue-84419.swift
new file mode 100644
index 0000000000000..1c7421141052d
--- /dev/null
+++ b/test/Generics/issue-84419.swift
@@ -0,0 +1,7 @@
+// RUN: %target-typecheck-verify-swift -swift-version 6
+
+struct G<T: Sequence> where T == Int {
+// expected-error@-1 {{no type for 'T' can satisfy both 'T == Int' and 'T : Sequence'}}
+// expected-error@-2 {{same-type requirement makes generic parameter 'T' non-generic}}
+  let t: T
+}