Auto merge of #124046 - matthiaskrgr:one_or_two_more_tests____some_on_top, r=jieyouxu

crashes: add even more tests?!?
adds more tests that were not already added with #124038 from the past 10 months or so.
Need a couple more passes through the tracker to filter out more missing ice /fixed tests but we're slowly getting there.

Author: bors

tests/crashes/112623.rs

@@ -0,0 +1,26 @@
+//@ known-bug: #112623
+
+#![feature(const_trait_impl, effects)]
+
+#[const_trait]
+traitValue{
+fnvalue() -> u32;
+}
+
+constfnget_value<T: ~constValue>() -> u32{
+T::value()
+}
+
+structFortyTwo;
+
+implconstValueforFortyTwo{
+fnvalue() -> i64{
+42
+}
+}
+
+constFORTY_TWO:u32 = get_value::<FortyTwo>();
+
+fnmain(){
+assert_eq!(FORTY_TWO,42);
+}

tests/crashes/114198-2.rs

@@ -0,0 +1,15 @@
+//@ known-bug: #114198
+//@ compile-flags: -Zprint-mono-items=eager
+
+implTraitfor <TyasOwner>::Struct{}
+traitTrait{
+fntest(&self){}
+}
+
+enumTy{}
+traitOwner{typeStruct: ?Sized;}
+implOwnerforTy{
+typeStruct = dynTrait + Send;
+}
+
+fnmain(){}

tests/crashes/114198.rs

@@ -0,0 +1,13 @@
+//@ known-bug: #114198
+//@ compile-flags: -Zprint-mono-items=eager
+
+#![feature(lazy_type_alias)]
+
+implTraitforStruct{}
+traitTrait{
+fntest(&self){}
+}
+
+typeStruct = dynTrait + Send;
+
+fnmain(){}

tests/crashes/118185.rs

@@ -0,0 +1,26 @@
+//@ known-bug: #118185
+
+fnmain(){
+let target:Target = create_target();
+ target.get(0);// correct arguments work
+ target.get(10.0);// CRASH HERE
+}
+
+// must be generic
+fncreate_target<T>() -> T{
+unimplemented!()
+}
+
+// unimplemented trait, but contains function with the same name
+pubtraitRandomTrait{
+fnget(&mutself);// but less arguments
+}
+
+structTarget;
+
+implTarget{
+// correct function with arguments
+pubfnget(&self,data:i32){
+unimplemented!()
+}
+}

tests/crashes/120421.rs

@@ -0,0 +1,12 @@
+//@ known-bug: #120421
+//@ compile-flags: -Zlint-mir
+
+#![feature(never_patterns)]
+
+enumVoid{}
+
+fnmain(){
+let res_void:Result<bool,Void> = Ok(true);
+
+for(Ok(mut _x) | Err(!))in[res_void]{}
+}

tests/crashes/120792.rs

@@ -0,0 +1,25 @@
+//@ known-bug: #120792
+//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes
+
+implTrait<()>for(){
+fnfoo<'a,K>(self, _:(), _:K){
+todo!();
+}
+}
+
+traitFoo<T>{}
+
+impl<F,T>Foo<T>forF{
+fnmain(){
+().foo((),());
+}
+}
+
+traitTrait<T>{
+fnfoo<'a,K>(self, _:T, _:K)
+where
+T:'a,
+K:'a;
+}
+
+pubfnmain(){}

tests/crashes/120811.rs

@@ -0,0 +1,27 @@
+//@ known-bug: #120811
+
+traitContainer{
+typeItem<'a>;
+}
+implContainerfor(){
+typeItem<'a> = ();
+}
+structExchange<C,F>{
+_marker: std::marker::PhantomData<(C,F)>,
+}
+fnexchange<C,F>(_:F) -> Exchange<C,F>
+where
+C:Container,
+for<'a>F:FnMut(&C::Item<'a>),
+{
+unimplemented!()
+}
+traitParallelization<C>{}
+impl<C,F>Parallelization<C>forExchange<C,F>{}
+fnunary_frontier<P:Parallelization<()>>(_:P){}
+fnmain(){
+let exchange = exchange(|_| ());
+let _ = || {
+unary_frontier(exchange);
+};
+}

tests/crashes/121063.rs

@@ -0,0 +1,20 @@
+//@ known-bug: #121063
+//@ compile-flags: -Zpolymorphize=on --edition=2021 -Zinline-mir=yes
+
+use std::{
+ fmt, ops,
+ path::{Component,Path,PathBuf},
+};
+
+pubstructAbsPathBuf(PathBuf);
+
+implTryFrom<PathBuf>forAbsPathBuf{
+typeError = PathBuf;
+fntry_from(path:implAsRef<Path>) -> Result<AbsPathBuf,PathBuf>{}
+}
+
+implTryFrom<&str>forAbsPathBuf{
+fntry_from(path:&str) -> Result<AbsPathBuf,PathBuf>{
+AbsPathBuf::try_from(PathBuf::from(path))
+}
+}

tests/crashes/121127.rs

@@ -0,0 +1,22 @@
+//@ known-bug: #121127
+//@ compile-flags: -Zpolymorphize=on -Zinline-mir=yes
+
+#![feature(specialization)]
+
+pubtraitFoo{
+fnabc() -> u32;
+}
+
+pubtraitMarker{}
+
+impl<T>FooforT{
+defaultfnabc(f:fn(&T),t:&T) -> u32{
+16
+}
+}
+
+impl<T:Marker>FooforT{
+fndef() -> u32{
+Self::abc()
+}
+}

tests/crashes/123456.rs

@@ -0,0 +1,16 @@
+//@ known-bug: #123456
+
+traitProject{
+constSELF:Self;
+}
+
+fntake1(
+ _:Project<
+SELF = {
+ j2.join().unwrap();
+},
+>,
+){
+}
+
+pubfnmain(){}