1 files changed, 17 insertions, 0 deletions
diff --git a/tests/ui/specialization/issue-59435.rs b/tests/ui/specialization/issue-59435.rs
new file mode 100644
index 00000000000..32390025662
--- /dev/null
+++ b/tests/ui/specialization/issue-59435.rs
@@ -0,0 +1,17 @@
+#![feature(specialization)]
+#![allow(incomplete_features)]
+
+struct MyStruct {}
+
+trait MyTrait {
+    type MyType: Default;
+}
+
+impl MyTrait for i32 {
+    default type MyType = MyStruct;
+    //~^ ERROR: the trait bound `MyStruct: Default` is not satisfied
+}
+
+fn main() {
+    let _x: <i32 as MyTrait>::MyType = <i32 as MyTrait>::MyType::default();
+}