Skip to content

Commit 634f912

Browse files
committed
Add test for principal-less cast
1 parent 5895e03 commit 634f912

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed
Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
//@ check-pass
2+
// Test cases involving principal-less traits (dyn Send without a primary trait).
3+
4+
fn lifetime_cast_send<'a, 'b>(a: *mut (dyn Send + 'a)) -> *mut (dyn Send + 'b) {
5+
a as _
6+
}
7+
8+
fn main() {}

0 commit comments

Comments
 (0)