update tests

This commit is contained in:
Bastian Kauschke 2020-03-27 21:56:19 +01:00
parent 21c5ccab10
commit 698b20eeda
27 changed files with 31 additions and 25 deletions

View file

@ -4,7 +4,7 @@
struct FakeArray<T, const N: usize>(T); struct FakeArray<T, const N: usize>(T);
impl<T, const N: usize> FakeArray<T, { N }> { impl<T, const N: usize> FakeArray<T, N> {
fn len(&self) -> usize { fn len(&self) -> usize {
N N
} }

View file

@ -9,7 +9,7 @@ fn test_big_vec() {}
#[cfg(target_pointer_width = "64")] #[cfg(target_pointer_width = "64")]
fn test_big_vec() fn test_big_vec()
{ {
assert_eq!(size_of::<[u8; (1 << 32)]>(), (1 << 32)); assert_eq!(size_of::<[u8; 1 << 32]>(), (1 << 32));
} }
fn main() { fn main() {

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
fn force<F>(f: F) -> isize where F: FnOnce() -> isize { return f(); } fn force<F>(f: F) -> isize where F: FnOnce() -> isize { return f(); }

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(non_snake_case)] #![allow(non_snake_case)]
#![allow(unused_variables)] #![allow(unused_variables)]
// Test that destructors for rvalue temporaries run either at end of // Test that destructors for rvalue temporaries run either at end of

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![feature(box_syntax)] #![feature(box_syntax)]
use std::cell::RefCell; use std::cell::RefCell;

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(dead_code)] #![allow(dead_code)]
// pretty-expanded FIXME #23616 // pretty-expanded FIXME #23616

View file

@ -7,13 +7,13 @@ trait HasSize {
const SIZE: usize; const SIZE: usize;
} }
impl<const X: usize> HasSize for ArrayHolder<{ X }> { impl<const X: usize> HasSize for ArrayHolder<X> {
const SIZE: usize = X; const SIZE: usize = X;
} }
struct ArrayHolder<const X: usize>([u32; X]); struct ArrayHolder<const X: usize>([u32; X]);
impl<const X: usize> ArrayHolder<{ X }> { impl<const X: usize> ArrayHolder<X> {
pub const fn new() -> Self { pub const fn new() -> Self {
ArrayHolder([0; Self::SIZE]) ArrayHolder([0; Self::SIZE])
//~^ ERROR: mismatched types //~^ ERROR: mismatched types

View file

@ -13,4 +13,4 @@ trait Foo<const X: usize> {
} }
} }
impl Foo<{3}> for () {} impl Foo<3> for () {}

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(dead_code)] #![allow(dead_code)]
#![allow(unused_unsafe)] #![allow(unused_unsafe)]

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![feature(box_syntax)] #![feature(box_syntax)]
fn test_generic<T, F>(expected: Box<T>, eq: F) where T: Clone, F: FnOnce(Box<T>, Box<T>) -> bool { fn test_generic<T, F>(expected: Box<T>, eq: F) where T: Clone, F: FnOnce(Box<T>, Box<T>) -> bool {

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![feature(box_syntax)] #![feature(box_syntax)]
fn test_generic<T, F>(expected: T, eq: F) where T: Clone, F: FnOnce(T, T) -> bool { fn test_generic<T, F>(expected: T, eq: F) where T: Clone, F: FnOnce(T, T) -> bool {

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
fn test_generic<T: Clone, F>(expected: T, eq: F) where F: FnOnce(T, T) -> bool { fn test_generic<T: Clone, F>(expected: T, eq: F) where F: FnOnce(T, T) -> bool {
let actual: T = { expected.clone() }; let actual: T = { expected.clone() };

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![feature(box_syntax)] #![feature(box_syntax)]
pub fn main() { let x: Box<_> = { box 100 }; assert_eq!(*x, 100); } pub fn main() { let x: Box<_> = { box 100 }; assert_eq!(*x, 100); }

View file

@ -1,10 +1,7 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(dead_code)] #![allow(dead_code)]
// Tests for standalone blocks as expressions // Tests for standalone blocks as expressions
fn test_basic() { let rs: bool = { true }; assert!((rs)); } fn test_basic() { let rs: bool = { true }; assert!((rs)); }

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
fn test_int() { fn test_int() {
fn f() -> isize { 10 } fn f() -> isize { 10 }

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
fn foo(i: isize) -> isize { i + 1 } fn foo(i: isize) -> isize { i + 1 }

View file

@ -1,6 +1,6 @@
// run-pass // run-pass
// Test a rather underspecified example: // Test a rather underspecified example:
#![allow(unused_braces)]
pub fn main() { pub fn main() {
let f = {|i| i}; let f = {|i| i};

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(unused_unsafe)] #![allow(unused_unsafe)]
#![allow(unreachable_code)] #![allow(unreachable_code)]
// ignore-emscripten no threads support // ignore-emscripten no threads support

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_parens)]
#![allow(non_camel_case_types)] #![allow(non_camel_case_types)]
// Note: This test was used to demonstrate #5873 (now #23898). // Note: This test was used to demonstrate #5873 (now #23898).

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
fn main() { fn main() {
let v1 = { 1 + {2} * {3} }; let v1 = { 1 + {2} * {3} };
let v2 = 1 + {2} * {3} ; let v2 = 1 + {2} * {3} ;

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(unused_comparisons)] #![allow(unused_comparisons)]
#![allow(dead_code)] #![allow(dead_code)]
#![allow(unused_mut)] #![allow(unused_mut)]

View file

@ -1,7 +1,7 @@
// run-pass // run-pass
// Test inclusive range syntax. // Test inclusive range syntax.
#![feature(range_is_empty)] #![feature(range_is_empty)]
#![allow(unused_braces)]
#![allow(unused_comparisons)] #![allow(unused_comparisons)]
use std::ops::RangeToInclusive; use std::ops::RangeToInclusive;

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(non_camel_case_types)] #![allow(non_camel_case_types)]
#[derive(Copy, Clone, Debug)] #[derive(Copy, Clone, Debug)]

View file

@ -18,16 +18,16 @@ trait MyTrait<'a, const C: usize> {
const MY_CONST: usize; const MY_CONST: usize;
} }
impl<'a, const C: usize> MyTrait<'a, { C }> for MyStruct<{ C }> { impl<'a, const C: usize> MyTrait<'a, C> for MyStruct<C> {
type MyItem = u8; type MyItem = u8;
const MY_CONST: usize = C; const MY_CONST: usize = C;
} }
impl<'a, I, const C: usize> UnwrapItemsExt<'a, { C }> for I { impl<'a, I, const C: usize> UnwrapItemsExt<'a, C> for I {
type Iter = impl MyTrait<'a, { C }>; type Iter = impl MyTrait<'a, C>;
fn unwrap_items(self) -> Self::Iter { fn unwrap_items(self) -> Self::Iter {
MyStruct::<{ C }> {} MyStruct::<C> {}
} }
} }

View file

@ -1,5 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces, unused_parens)]
#![feature(unsized_tuple_coercion, unsized_locals)] #![feature(unsized_tuple_coercion, unsized_locals)]
struct A<X: ?Sized>(X); struct A<X: ?Sized>(X);
@ -30,7 +30,6 @@ fn main() {
*foo() *foo()
}); });
udrop::<[u8]>({*foo()}); udrop::<[u8]>({*foo()});
#[allow(unused_parens)]
udrop::<[u8]>((*foo())); udrop::<[u8]>((*foo()));
udrop::<[u8]>((*tfoo()).1); udrop::<[u8]>((*tfoo()).1);
*afoo() + 42; *afoo() + 42;

View file

@ -5,7 +5,7 @@
#![allow(non_camel_case_types)] #![allow(non_camel_case_types)]
#![allow(dead_code)] #![allow(dead_code)]
#![allow(unreachable_code)] #![allow(unreachable_code)]
#![allow(unused_parens)] #![allow(unused_braces, unused_parens)]
#![recursion_limit = "256"] #![recursion_limit = "256"]

View file

@ -1,4 +1,5 @@
// run-pass // run-pass
#![allow(unused_braces)]
#![allow(unused_assignments)] #![allow(unused_assignments)]
// Make sure that the constructor args are codegened for zero-sized tuple structs // Make sure that the constructor args are codegened for zero-sized tuple structs