Update src/test/ui/unsized/issue-97732.rs

Kixiron · eddyb · web-flow · commit 10336cf1624a · 2022-06-06T10:19:33.000-05:00
Co-authored-by: Eduard-Mihai Burtescu &lt;edy.burt@gmail.com&gt;
diff --git a/src/test/ui/unsized/issue-97732.rs b/src/test/ui/unsized/issue-97732.rs
@@ -15,9 +15,14 @@ impl<S: ?Sized, T: ?Sized> CoerceUnsized<BoxWithZstTail<T>> for BoxWithZstTail<S
 }
 
 pub fn noop_dyn_upcast_with_zst_tail(
-    b: BoxWithZstTail<dyn Send + Sync>,
-) -> BoxWithZstTail<dyn Send> {
+    b: BoxWithZstTail<dyn ToString + Send>,
+) -> BoxWithZstTail<dyn ToString> {
     b
 }
 
-fn main() {}
+fn main() {
+    let original = "foo";
+    let boxed = BoxWithZstTail(Box::new(original) as Box<dyn ToString + Send>, ());
+    let noop_upcasted = noop_dyn_upcast_with_zst_tail(boxed);
+    assert_eq!(original, noop_upcasted.0.to_string());
+}

Original file line number	Diff line number	Diff line change
`@@ -15,9 +15,14 @@ impl<S: ?Sized, T: ?Sized> CoerceUnsized<BoxWithZstTail<T>> for BoxWithZstTail<S`
`15`	`15`	`}`
`16`	`16`
`17`	`17`	`pub fn noop_dyn_upcast_with_zst_tail(`
`18`		`- b: BoxWithZstTail<dyn Send + Sync>,`
`19`		`-) -> BoxWithZstTail<dyn Send> {`
	`18`	`+ b: BoxWithZstTail<dyn ToString + Send>,`
	`19`	`+) -> BoxWithZstTail<dyn ToString> {`
`20`	`20`	`b`
`21`	`21`	`}`
`22`	`22`
`23`		`-fn main() {}`
	`23`	`+fn main() {`
	`24`	`+ let original = "foo";`
	`25`	`+ let boxed = BoxWithZstTail(Box::new(original) as Box<dyn ToString + Send>, ());`
	`26`	`+ let noop_upcasted = noop_dyn_upcast_with_zst_tail(boxed);`
	`27`	`+ assert_eq!(original, noop_upcasted.0.to_string());`
	`28`	`+}`