1 // Copyright (C) 2017-2020 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 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 } 34