[rustc.git] / src / test / run-pass / deriving-default-box.rs

// Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.


#![allow(unknown_features)]
#![feature(box_syntax)]

use std::default::Default;

#[derive(Default)]
struct A {
    foo: Box<[bool]>,
}

pub fn main() {
    let a: A = Default::default();
    // FIXME (#22405): Replace `Box::new` with `box` here when/if possible.
    let b: Box<[_]> = Box::<[bool; 0]>::new([]);
    assert_eq!(a.foo, b);
}
Commit	Line	Data
1a4d82fc	1	// Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
223e47cc LB	2	// file at the top-level directory of this distribution and at
	3	// http://rust-lang.org/COPYRIGHT.
	4	//
	5	// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
	6	// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
	7	// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
	8	// option. This file may not be copied, modified, or distributed
	9	// except according to those terms.
	10
c34b1796	11
1a4d82fc JJ	12	#![allow(unknown_features)]
1a4d82fc JJ	13	#![feature(box_syntax)]
223e47cc	14
1a4d82fc JJ	15	use std::default::Default;
	16
	17	#[derive(Default)]
	18	struct A {
	19	foo: Box<[bool]>,
223e47cc LB	20	}
	21
	22	pub fn main() {
1a4d82fc	23	let a: A = Default::default();
c34b1796 AL	24	// FIXME (#22405): Replace `Box::new` with `box` here when/if possible.
c34b1796 AL	25	let b: Box<[_]> = Box::<[bool; 0]>::new([]);
1a4d82fc	26	assert_eq!(a.foo, b);
223e47cc	27	}