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