bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Remove box syntax from most places in src/test outside of the issues dir

Browse source
This commit is contained in:
est31 2021-08-25 02:39:40 +02:00
parent 63cc2bb3d0
commit 6550021124
330 changed files with 1015 additions and 1209 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/test/ui/nullable-pointer-iotareduction.rs
View file

@ -1,7 +1,5 @@
// run-pass
#![feature(box_syntax)]
// Iota-reduction is a rule in the Calculus of (Co-)Inductive Constructions,
// which "says that a destructor applied to an object built from a constructor
// behaves as expected". -- https://coq.inria.fr/doc/language/core/conversion.html#iota-reduction
@ -64,7 +62,7 @@ macro_rules! check_type {
pub fn main() {
check_type!(&17, &isize);
check_type!(box 18, Box<isize>);
check_type!(Box::new(18), Box<isize>);
check_type!("foo".to_string(), String);
check_type!(vec![20, 22], Vec<isize>);
check_type!(main, fn(), |pthing| {