blob: 93832ef7eddb553f9e285becdd9892eaf21a032e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// Check that we apply unsizing coercions based on the return type.
//
// Also serves as a regression test for #60424.
//
// edition:2018
// check-pass
#![allow(warnings)]
use std::fmt::Debug;
// Unsizing coercion from `Box<&'static str>` to `Box<dyn Debug>`.
fn unsize_trait_coercion() {
fn sync_example() -> Box<dyn Debug> {
Box::new("asdf")
}
async fn async_example() -> Box<dyn Debug> {
Box::new("asdf")
}
}
// Unsizing coercion from `Box<[u32; N]>` to `Box<[32]>`.
fn unsize_slice_coercion() {
fn sync_example() -> Box<[u32]> {
Box::new([0])
}
async fn async_example() -> Box<[u32]> {
Box::new([0])
}
}
// Unsizing coercion from `&[&str; 1]` to `&[&str]`
fn unsize_slice_str_coercion() {
fn sync_example() -> &'static [&'static str] {
&["hi"]
}
async fn async_example() -> &'static [&'static str] {
&["hi"]
}
}
fn main() {}
|