Merge pull request #1694 from rust-lang/JohnTitor-patch-1

rust-lang · Dec 24, 2023 · 39e92fe · 39e92fe
2 parents ec60bfb + 08dc6b4
commit 39e92fe
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/ices/103708.rs b/ices/103708.rs
@@ -1,9 +1,15 @@
 #![feature(min_specialization)]
 
-trait Dance {}
+trait Dance {
+    fn foo();
+}
 
-impl<'a, T> Dance for T {}
+impl<'a, T> Dance for T {
+    fn foo() {}
+}
 
-impl Dance for bool {}
+impl Dance for bool {
+    fn foo() {}
+}
 
 fn main() {}