We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0da281b commit f4ac137Copy full SHA for f4ac137
1 file changed
src/test/ui/coercion/issue-36007.rs
@@ -0,0 +1,20 @@
1
+// check-pass
2
+#![feature(coerce_unsized, unsize)]
3
+
4
+use std::marker::Unsize;
5
+use std::ops::CoerceUnsized;
6
7
+struct Foo<T: ?Sized>(Box<T>);
8
9
+impl<T> CoerceUnsized<Foo<dyn Baz>> for Foo<T> where T: Unsize<dyn Baz> {}
10
11
+struct Bar;
12
13
+trait Baz {}
14
15
+impl Baz for Bar {}
16
17
+fn main() {
18
+ let foo = Foo(Box::new(Bar));
19
+ let foobar: Foo<Bar> = foo;
20
+}
0 commit comments