Commit | Line | Data |
---|---|---|
b811d2c2 | 1 | // Copyright (C) 2017-2020 Free Software Foundation, Inc. |
e6cf65f2 TT |
2 | |
3 | // This program is free software; you can redistribute it and/or modify | |
4 | // it under the terms of the GNU General Public License as published by | |
5 | // the Free Software Foundation; either version 3 of the License, or | |
6 | // (at your option) any later version. | |
7 | // | |
8 | // This program is distributed in the hope that it will be useful, | |
9 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
10 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
11 | // GNU General Public License for more details. | |
12 | // | |
13 | // You should have received a copy of the GNU General Public License | |
14 | // along with this program. If not, see <http://www.gnu.org/licenses/>. | |
15 | ||
16 | #![allow(dead_code)] | |
17 | #![allow(unused_variables)] | |
18 | #![allow(unused_assignments)] | |
19 | ||
20 | struct V<T: ?Sized> { | |
21 | data: T, | |
22 | } | |
23 | ||
24 | type Unsized = V<[u8]>; | |
25 | ||
26 | fn ignore<T>(x: T) { } | |
27 | ||
28 | fn main() { | |
29 | let v: Box<V<[u8; 3]>> = Box::new(V { data: [1, 2, 3] }); | |
30 | let us: Box<Unsized> = v; | |
31 | ||
32 | ignore(us); // set breakpoint here | |
33 | } |