From bcd71624d5f5c7a55477dfb05404b30d439d9674 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= Date: Sat, 12 Oct 2024 11:29:38 +0200 Subject: [PATCH] add latest crash tests --- tests/crashes/131507.rs | 10 ++++++++++ tests/crashes/131534.rs | 5 +++++ tests/crashes/131535.rs | 4 ++++ tests/crashes/131538.rs | 13 +++++++++++++ 4 files changed, 32 insertions(+) create mode 100644 tests/crashes/131507.rs create mode 100644 tests/crashes/131534.rs create mode 100644 tests/crashes/131535.rs create mode 100644 tests/crashes/131538.rs diff --git a/tests/crashes/131507.rs b/tests/crashes/131507.rs new file mode 100644 index 0000000000000..d402fb8afc322 --- /dev/null +++ b/tests/crashes/131507.rs @@ -0,0 +1,10 @@ +//@ known-bug: #131507 +//@ compile-flags: -Zmir-opt-level=5 -Zvalidate-mir +#![feature(non_lifetime_binders)] + +fn brick() +where + for T: Copy, +{ + || format_args!(""); +} diff --git a/tests/crashes/131534.rs b/tests/crashes/131534.rs new file mode 100644 index 0000000000000..545b3e68fe8d5 --- /dev/null +++ b/tests/crashes/131534.rs @@ -0,0 +1,5 @@ +//@ known-bug: #131534 +#![feature(generic_const_exprs)] +type Value<'v> = &[[u8; SIZE]]; + +trait Trait: Fn(Value) -> Value {} diff --git a/tests/crashes/131535.rs b/tests/crashes/131535.rs new file mode 100644 index 0000000000000..47ccdf87f2de7 --- /dev/null +++ b/tests/crashes/131535.rs @@ -0,0 +1,4 @@ +//@ known-bug: #131535 +#![feature(non_lifetime_binders)] +trait v0<> {} +fn kind :(v0<'_, > impl for v0<'_, v2 = impl v0 + '_>) {} diff --git a/tests/crashes/131538.rs b/tests/crashes/131538.rs new file mode 100644 index 0000000000000..f971d8b7791e4 --- /dev/null +++ b/tests/crashes/131538.rs @@ -0,0 +1,13 @@ +//@ known-bug: #131538 +#![feature(generic_associated_types_extended)] +#![feature(trivial_bounds)] + +trait HealthCheck { + async fn check(); +} + +fn do_health_check_par() +where + HealthCheck: HealthCheck, +{ +}