Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions tests/crashes/140693.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
//@ known-bug: #140693
#![crate_type = "sdylib"]

pub trait Trait {
type Type;
}
pub struct S;

#[export_stable]
pub extern "C" fn foo1(_x: <S as Trait>::Type) {}
10 changes: 10 additions & 0 deletions tests/crashes/146210.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
//@ known-bug: #146210
//@ edition: 2024
//@ compile-flags: -Zvalidate-mir --crate-type lib
use core::pin::Pin;

fn bar<T>(non_send: T) -> Pin<Box<dyn Future<Output = ()> + Send>> {
Box::pin(async {
non_send;
})
}
4 changes: 4 additions & 0 deletions tests/crashes/146353.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
//@ known-bug: #146353
const BIG_CHAIN: u8 = ();
trait NeverSend = !Send;
fn main() {}
10 changes: 10 additions & 0 deletions tests/crashes/149015.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
//@ known-bug: #149015
trait Trait1 {
type Assoc;
}

trait Trait2 {}

impl Trait1 for <dyn Trait2 as Trait1>::Assoc {
type Assoc = ();
}
9 changes: 9 additions & 0 deletions tests/crashes/152204.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
//@ known-bug: #152204
//@ compile-flags: -Copt-level=0
#![feature(portable_simd)]

fn main() {
if false {
let _ = core::simd::Simd::<u8, 256>::splat(0);
}
}
10 changes: 10 additions & 0 deletions tests/crashes/153368.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
//@ known-bug: #153368
//@ compile-flags: -Znext-solver=globally
trait Foo: Bar<T> + Bar<u32> {}
trait Bar<T> {
fn bar(self) -> T;
}

fn test_infer_version(x: &dyn Foo) {
x.bar()
}
6 changes: 6 additions & 0 deletions tests/crashes/154367.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
//@ known-bug: #154367
//@ compile-flags: -Copt-level=0
#![feature(unsafe_binders)]

fn main() { panic::<unsafe<'a> &'a ()>(); }
fn panic<T>() { panic!() }
7 changes: 7 additions & 0 deletions tests/crashes/155482.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
//@ known-bug: #155482
trait TraitA < AsA = impl TraitB < {
#[derive(Hash)]
enum A;
struct A<A>;
}
>> ;
13 changes: 13 additions & 0 deletions tests/crashes/155497.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
//@ known-bug: #155497
//@ compile-flags: -Wrust-2021-incompatible-closure-captures
struct Foo((u32, i128));

fn main() {
type T = impl async FnOnce() -> T;
let foo: T = Foo();
let x = move || {
let x = move || {
let Foo((a, b)) = foo;
};
};
}
3 changes: 3 additions & 0 deletions tests/crashes/157197.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
//@ known-bug: #157197
static C: &'static usize = &(0 | E);
static E: usize = E;
12 changes: 12 additions & 0 deletions tests/crashes/158243.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
//@ known-bug: #158243
macro_rules! id {
($x:expr) => { $x };
}
fn main() {
|id!(
(|| {
use std::ops::Add;
1.add(3);
})
)| {};
}
16 changes: 16 additions & 0 deletions tests/crashes/158773.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
//@ known-bug: #158773
//@ needs-rustc-debug-assertions
//@ compile-flags: -Znext-solver=globally
trait HasLifetime {
type AtLifetime<'a>;
}

pub struct ExistentialLifetime<S: HasLifetime>(S::AtLifetime<'static>);

impl<S: HasLifetime> ExistentialLifetime<S> {
fn new() -> ExistentialLifetime<S> {
ExistentialLifetime(ExistentialLifetime(()))
}
}

fn main() {}
14 changes: 14 additions & 0 deletions tests/crashes/158797.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
//@ known-bug: #158797
#![feature(coroutines)]
#![feature(const_async_blocks)]
#![feature(yield_expr)]
enum Foo {
Bar = (
#[coroutine]
|| yield,
2,
)
.1,
}

fn main() {}
4 changes: 4 additions & 0 deletions tests/crashes/160329.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
//@ known-bug: #160329
#![feature(autodiff)]
#[core::autodiff::autodiff_forward(fd_inner, Dual)]
fn f(_x: struct S<B, T>) {}
2 changes: 2 additions & 0 deletions tests/crashes/160490.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
//@ known-bug: #160490
fn f(...: u8) {}
Loading