1// Copyright (C) 2017-2023 Free Software Foundation, Inc.
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
20struct V<T: ?Sized> {
21    data: T,
22}
23
24type Unsized = V<[u8]>;
25
26fn ignore<T>(x: T) { }
27
28fn main() {
29    let v: Box<V<[u8; 3]>> = Box::new(V { data: [1, 2, 3] });
30    let us: Box<Unsized> = v;
31    let v2 : Box<[u8; 3]> = Box::new([1, 2, 3]);
32    let us2 : Box<[u8]> = v2;
33
34    ignore(us);     // set breakpoint here
35}
36