add .rs crashes from https://github.com/rust-lang/glacier

Author: matthiaskrgr

tests/crashes/100041.rs

@@ -0,0 +1,17 @@
+//@ known-bug: #100041
+
+pubtraitWellUnformed{
+typeRequestNormalize;
+}
+
+impl<T: ?Sized>WellUnformedforT{
+typeRequestNormalize = ();
+}
+
+pubfnlatent(_:&[<[[()]]asWellUnformed>::RequestNormalize;0]){}
+
+pubfnbang(){
+latent(&[]);
+}
+
+fnmain(){}

tests/crashes/101962.rs

@@ -0,0 +1,11 @@
+//@ known-bug: #101962
+
+#![feature(core_intrinsics)]
+
+pubfnwrapping<T:Copy>(a:T,b:T){
+let _z = core::intrinsics::wrapping_mul(a, b);
+}
+
+fnmain(){
+wrapping(1,2);
+}

tests/crashes/102047.rs

@@ -0,0 +1,45 @@
+//@ known-bug: #102047
+
+structTy1;
+structTy2;
+
+pubtraitTrait<T>{}
+
+pubtraitWithAssoc1<'a>{
+typeAssoc;
+}
+pubtraitWithAssoc2<'a>{
+typeAssoc;
+}
+
+impl<T,U>Trait<for<'a> fn(<TasWithAssoc1<'a>>::Assoc, <UasWithAssoc2<'a>>::Assoc)>for(T,U)
+where
+T:for<'a>WithAssoc1<'a> + for<'a>WithAssoc2<'a,Assoc = i32>,
+U:for<'a>WithAssoc2<'a>,
+{
+}
+
+implWithAssoc1<'_>forTy1{
+typeAssoc = ();
+}
+implWithAssoc2<'_>forTy1{
+typeAssoc = i32;
+}
+implWithAssoc1<'_>forTy2{
+typeAssoc = ();
+}
+implWithAssoc2<'_>forTy2{
+typeAssoc = u32;
+}
+
+fnfoo<T,U,V>()
+where
+T:for<'a>WithAssoc1<'a>,
+U:for<'a>WithAssoc2<'a>,
+(T,U):Trait<V>,
+{
+}
+
+fnmain(){
+foo::<Ty1,Ty2,_>();
+}

tests/crashes/102252.rs

@@ -0,0 +1,14 @@
+//@ known-bug: #102252
+
+#![feature(min_specialization, rustc_attrs)]
+
+#[rustc_specialization_trait]
+pubtraitTrait{}
+
+structStruct
+where
+Self:Iterator<Item = <SelfasIterator>::Item>,{}
+
+implTraitforStruct{}
+
+fnmain(){}

tests/crashes/103899.rs

@@ -0,0 +1,27 @@
+//@ known-bug: #103899
+
+traitBaseWithAssoc{
+typeAssoc;
+}
+
+traitWrapperWithAssoc{
+typeBaseAssoc:BaseWithAssoc;
+}
+
+structWrapper<B>{
+inner:B,
+}
+
+structProjectToBase<T:BaseWithAssoc>{
+data_type_h:T::Assoc,
+}
+
+structDoubleProject<L:WrapperWithAssoc>{
+buffer:Wrapper<ProjectToBase<L::BaseAssoc>>,
+}
+
+fntrigger<L:WrapperWithAssoc<BaseAssoc = ()>>() -> DoubleProject<L>{
+loop{}
+}
+
+fnmain(){}

tests/crashes/105238-1.rs

@@ -0,0 +1,31 @@
+//@ known-bug: #105238
+
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
+traitRet{
+typeR;
+}
+
+structCond<constPRED:bool,U,V>(std::marker::PhantomData<U>, std::marker::PhantomData<V>);
+
+impl<U,V>RetforCond<true,U,V>{
+typeR = U;
+}
+
+impl<U,V>RetforCond<false,U,V>{
+typeR = V;
+}
+
+structRobinHashTable<constMAX_LENGTH:usize,CellIdx = Cond<{MAX_LENGTH < 65535},u16,u32>>
+where
+CellIdx:Ret,
+{
+_idx:CellIdx::R,
+}
+
+fnmain(){
+use std::mem::size_of;
+println!("{}", size_of::<RobinHashTable<1024>>());
+println!("{}", size_of::<RobinHashTable<65536>>());
+}

tests/crashes/105238-2.rs

@@ -0,0 +1,31 @@
+//@ known-bug: #105238
+
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
+traitRet{
+typeR;
+}
+
+structCond<constPRED:bool,U,V>(std::marker::PhantomData<U>, std::marker::PhantomData<V>);
+
+impl<U,V>RetforCond<true,U,V>{
+typeR = U;
+}
+
+impl<U,V>RetforCond<false,U,V>{
+typeR = V;
+}
+
+structRobinHashTable<
+constMAX_LENGTH:usize,
+CellIdx = <Cond<{MAX_LENGTH < 65535},u16,u32>asRet>::R,
+>{
+_idx:CellIdx,
+}
+
+fnmain(){
+use std::mem::size_of;
+println!("{}", size_of::<RobinHashTable<1024>>());
+println!("{}", size_of::<RobinHashTable<65536>>());
+}

tests/crashes/105488.rs

@@ -0,0 +1,39 @@
+//@ known-bug: #105488
+
+pubtraitMyFnOnce{
+typeOutput;
+
+fncall_my_fn_once(self) -> Self::Output;
+}
+
+pubstructWrapFnOnce<F>(F);
+
+impl<F:FnOnce() -> D,D:MyFnOnce>MyFnOnceforWrapFnOnce<F>{
+typeOutput = D::Output;
+
+fncall_my_fn_once(self) -> Self::Output{
+D::call_my_fn_once(self.0())
+}
+}
+
+impl<F:FnOnce() -> D,D:MyFnOnce>MyFnOnceforF{
+typeOutput = D::Output;
+
+fncall_my_fn_once(self) -> Self::Output{
+D::call_my_fn_once(self())
+}
+}
+
+pubfnmy_fn_1() -> implMyFnOnce{
+ my_fn_2
+}
+
+pubfnmy_fn_2() -> implMyFnOnce{
+WrapFnOnce(my_fn_1)
+}
+
+fnmain(){
+let v = my_fn_1();
+
+let _ = v.call_my_fn_once();
+}

tests/crashes/108814.rs

@@ -0,0 +1,9 @@
+//@ known-bug: #108814
+
+#![feature(non_lifetime_binders)]
+
+fntake(_:implfor<T>FnOnce(T) -> T){}
+
+fnmain(){
+take(|x| x)
+}

tests/crashes/109681.rs

@@ -0,0 +1,9 @@
+//@ known-bug: #109681
+
+#![crate_type="lib"]
+#![feature(linkage)]
+
+#[linkage = "common"]
+pubstaticTEST3:bool = true;
+
+fnmain(){}