Skip to content

Commit

Permalink
add latest crash tests
Browse files Browse the repository at this point in the history
  • Loading branch information
matthiaskrgr committed Oct 12, 2024
1 parent fb20e4d commit bcd7162
Show file tree
Hide file tree
Showing 4 changed files with 32 additions and 0 deletions.
10 changes: 10 additions & 0 deletions tests/crashes/131507.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
//@ known-bug: #131507
//@ compile-flags: -Zmir-opt-level=5 -Zvalidate-mir
#![feature(non_lifetime_binders)]

fn brick()
where
for<T> T: Copy,
{
|| format_args!("");
}
5 changes: 5 additions & 0 deletions tests/crashes/131534.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
//@ known-bug: #131534
#![feature(generic_const_exprs)]
type Value<'v> = &[[u8; SIZE]];

trait Trait: Fn(Value) -> Value {}
4 changes: 4 additions & 0 deletions tests/crashes/131535.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
//@ known-bug: #131535
#![feature(non_lifetime_binders)]
trait v0<> {}
fn kind :(v0<'_, > impl for<v4> v0<'_, v2 = impl v0<v4> + '_>) {}
13 changes: 13 additions & 0 deletions tests/crashes/131538.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
//@ known-bug: #131538
#![feature(generic_associated_types_extended)]
#![feature(trivial_bounds)]

trait HealthCheck {
async fn check<const N: usize>();
}

fn do_health_check_par()
where
HealthCheck: HealthCheck,
{
}

0 comments on commit bcd7162

Please sign in to comment.