Auto merge of #132789 - matthiaskrgr:debug_tests, r=jieyouxu

add some debug-assertion crash tests
r? ghost
try-job: x86_64-gnu

Author: bors

tests/crashes/116979.rs

@@ -0,0 +1,14 @@
+//@ known-bug: #116979
+//@ compile-flags: -Csymbol-mangling-version=v0
+//@ needs-rustc-debug-assertions
+
+#![feature(dyn_star)]
+#![allow(incomplete_features)]
+
+use std::fmt::Display;
+
+pubfnrequire_dyn_star_display(_:dyn*Display){}
+
+fnmain(){
+require_dyn_star_display(1usize);
+}

tests/crashes/117808.rs

@@ -0,0 +1,27 @@
+//@ known-bug: #117808
+//@ edition:2021
+//@ needs-rustc-debug-assertions
+
+use std::future::Future;
+
+fnhrc<R,F:for<'a>AsyncClosure<'a,(),R>>(f:F) -> F{
+ f
+}
+
+fnmain(){
+hrc(|x| async{});
+}
+
+traitAsyncClosure<'a,I,R>
+where
+I:'a,
+{
+}
+
+impl<'a,I,R,Fut,F>AsyncClosure<'a,I,R>forF
+where
+I:'a,
+F:Fn(&'aI) -> Fut,
+Fut:Future<Output = R> + Send + 'a,
+{
+}

tests/crashes/117877.rs

@@ -0,0 +1,13 @@
+//@ known-bug: #117877
+//@ edition:2021
+//@ needs-rustc-debug-assertions
+//@ only-x86_64
+#![feature(asm_const)]
+
+use std::arch::asm;
+
+asyncunsafefnfoo<'a>(){
+asm!("/* {0} */",constN);
+}
+
+fnmain(){}

tests/crashes/118778.rs

@@ -0,0 +1,24 @@
+//@ known-bug: #118778
+//@ edition:2021
+//@ needs-rustc-debug-assertions
+
+#![feature(generic_const_exprs)]
+#![allow(incomplete_features)]
+
+traitOwner{
+typeT<constN:u16>;
+}
+
+implOwnerfor(){
+typeT<constN:u32> = U32<{N + 1}>
+where
+U32<{N + 1}>:;
+}
+
+structU32<constN:u32>;
+
+fntake1(_:implOwner<T<1> = U32<1>>){}
+
+fnmain(){
+take1(());
+}

tests/crashes/118784.rs

@@ -0,0 +1,19 @@
+//@ known-bug: #118784
+//@ needs-rustc-debug-assertions
+
+use std::collections::HashMap;
+
+macro_rules! all_sync_send {
+($ctor:expr, $($iter:expr),+) => ({
+ $(
+letmut x = $ctor;
+ is_sync(x.$iter());
+letmut y = $ctor;
+ is_send(y.$iter());
+)+
+})
+}
+
+fnmain(){
+all_sync_send!(HashMap,HashMap);
+}

tests/crashes/120175.rs

@@ -0,0 +1,11 @@
+//@ known-bug: #120175
+//@ needs-rustc-debug-assertions
+
+#![feature(extern_types)]
+
+#[link(name = "bar", import_name_type = "decorated", kind = "raw-dylib")]
+extern"C"{
+pubtypeCrossCrate;
+}
+
+fnmain(){}

tests/crashes/121176.rs

@@ -0,0 +1,9 @@
+//@ known-bug: #121176
+//@ needs-rustc-debug-assertions
+use std::fmt::Debug;
+
+staticSTATIC_1:dynDebug + Sync = *();
+
+fnmain(){
+println!("{:?}",&STATIC_1);
+}

tests/crashes/123861.rs

@@ -0,0 +1,5 @@
+//@ known-bug: #123861
+//@ needs-rustc-debug-assertions
+
+struct_;
+fn mainIterator<_ = _>{}

tests/crashes/123862.rs

@@ -0,0 +1,14 @@
+//@ known-bug: #123862
+//@ needs-rustc-debug-assertions
+
+macro_rules! pos {
+() => {
+(file![$($pos,)* pos!()], line!())
+};
+}
+
+fnouter(){
+inner_inlined(main_pos,pos!());
+}
+
+fninner_inlined(){}

tests/crashes/130395.rs

@@ -0,0 +1,10 @@
+//@ known-bug: #130395
+//@ needs-rustc-debug-assertions
+
+enumU{
+B(isize,usize),
+}
+
+fnmain(){
+let x = T::A(U::C);
+}