Merging upstream version 1.68.2+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

18 files changed, 0 insertions, 370 deletions

diff --git a/src/test/incremental/const-generics/hash-tyvid-regression-1.rs b/src/test/incremental/const-generics/hash-tyvid-regression-1.rs
deleted file mode 100644
index 5ff7b19d8..000000000
--- a/src/test/incremental/const-generics/hash-tyvid-regression-1.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-// revisions: cfail
-#![feature(generic_const_exprs, adt_const_params)]
-#![allow(incomplete_features)]
-// regression test for #77650
-fn c<T, const N: std::num::NonZeroUsize>()
-where
-    [T; N.get()]: Sized,
-{
-    use std::convert::TryFrom;
-    <[T; N.get()]>::try_from(())
-    //~^ error: the trait bound
-    //~| error: the trait bound
-    //~| error: mismatched types
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/hash-tyvid-regression-2.rs b/src/test/incremental/const-generics/hash-tyvid-regression-2.rs
deleted file mode 100644
index 5cdd43cd7..000000000
--- a/src/test/incremental/const-generics/hash-tyvid-regression-2.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// revisions: cfail
-#![feature(generic_const_exprs, adt_const_params)]
-#![allow(incomplete_features)]
-// regression test for #77650
-struct C<T, const N: core::num::NonZeroUsize>([T; N.get()])
-where
-    [T; N.get()]: Sized;
-impl<'a, const N: core::num::NonZeroUsize, A, B: PartialEq<A>> PartialEq<&'a [A]> for C<B, N>
-where
-    [B; N.get()]: Sized,
-{
-    fn eq(&self, other: &&'a [A]) -> bool {
-        self.0 == other
-        //~^ error: can't compare
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/hash-tyvid-regression-3.rs b/src/test/incremental/const-generics/hash-tyvid-regression-3.rs
deleted file mode 100644
index 61f568f79..000000000
--- a/src/test/incremental/const-generics/hash-tyvid-regression-3.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-// revisions: cfail
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-// regression test for #79251
-struct Node<const D: usize>
-where
-    SmallVec<{ D * 2 }>: ,
-{
-    keys: SmallVec<{ D * 2 }>,
-}
-
-impl<const D: usize> Node<D>
-where
-    SmallVec<{ D * 2 }>: ,
-{
-    fn new() -> Self {
-        let mut node = Node::new();
-        node.keys.some_function();
-        //~^ error: no method named
-        node
-    }
-}
-
-struct SmallVec<const D: usize> {}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/hash-tyvid-regression-4.rs b/src/test/incremental/const-generics/hash-tyvid-regression-4.rs
deleted file mode 100644
index 12e8ac7ab..000000000
--- a/src/test/incremental/const-generics/hash-tyvid-regression-4.rs
+++ /dev/null
@@ -1,40 +0,0 @@
-// revisions: cfail
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-// regression test for #79251
-#[derive(Debug)]
-struct Node<K, const D: usize>
-where
-    SmallVec<K, { D * 2 }>: ,
-{
-    keys: SmallVec<K, { D * 2 }>,
-}
-
-impl<K, const D: usize> Node<K, D>
-where
-    SmallVec<K, { D * 2 }>: ,
-{
-    fn new() -> Self {
-        panic!()
-    }
-
-    #[inline(never)]
-    fn split(&mut self, i: usize, k: K, right: bool) -> Node<K, D> {
-        let mut node = Node::new();
-        node.keys.push(k);
-        //~^ error: no method named
-        node
-    }
-}
-
-#[derive(Debug)]
-struct SmallVec<T, const D: usize> {
-    data: [T; D],
-}
-impl<T, const D: usize> SmallVec<T, D> {
-    fn new() -> Self {
-        panic!()
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/issue-61338.rs b/src/test/incremental/const-generics/issue-61338.rs
deleted file mode 100644
index e9d67fee2..000000000
--- a/src/test/incremental/const-generics/issue-61338.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-// revisions:rpass1
-
-struct Struct<T>(T);
-
-impl<T, const N: usize> Struct<[T; N]> {
-    fn f() {}
-    fn g() { Self::f(); }
-}
-
-fn main() {
-    Struct::<[u32; 3]>::g();
-}
diff --git a/src/test/incremental/const-generics/issue-61516.rs b/src/test/incremental/const-generics/issue-61516.rs
deleted file mode 100644
index c781484d1..000000000
--- a/src/test/incremental/const-generics/issue-61516.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-// revisions:rpass1
-
-struct FakeArray<T, const N: usize>(T);
-
-impl<T, const N: usize> FakeArray<T, N> {
-    fn len(&self) -> usize {
-        N
-    }
-}
-
-fn main() {
-    let fa = FakeArray::<u32, { 32 }>(1);
-    assert_eq!(fa.len(), 32);
-}
diff --git a/src/test/incremental/const-generics/issue-62536.rs b/src/test/incremental/const-generics/issue-62536.rs
deleted file mode 100644
index 93c1dbf44..000000000
--- a/src/test/incremental/const-generics/issue-62536.rs
+++ /dev/null
@@ -1,9 +0,0 @@
-// revisions:cfail1
-struct S<T, const N: usize>([T; N]);
-
-fn f<T, const N: usize>(x: T) -> S<T, {N}> { panic!() }
-
-fn main() {
-    f(0u8);
-    //[cfail1]~^ ERROR type annotations needed
-}
diff --git a/src/test/incremental/const-generics/issue-64087.rs b/src/test/incremental/const-generics/issue-64087.rs
deleted file mode 100644
index 81c813531..000000000
--- a/src/test/incremental/const-generics/issue-64087.rs
+++ /dev/null
@@ -1,9 +0,0 @@
-// revisions:cfail1
-
-fn combinator<T, const S: usize>() -> [T; S] {}
-//[cfail1]~^ ERROR mismatched types
-
-fn main() {
-    combinator().into_iter();
-    //[cfail1]~^ ERROR type annotations needed
-}
diff --git a/src/test/incremental/const-generics/issue-65623.rs b/src/test/incremental/const-generics/issue-65623.rs
deleted file mode 100644
index 22bbcbcab..000000000
--- a/src/test/incremental/const-generics/issue-65623.rs
+++ /dev/null
@@ -1,12 +0,0 @@
-// revisions:rpass1
-pub struct Foo<T, const N: usize>([T; 0]);
-
-impl<T, const N: usize> Foo<T, {N}> {
-    pub fn new() -> Self {
-        Foo([])
-    }
-}
-
-fn main() {
-    let _: Foo<u32, 0> = Foo::new();
-}
diff --git a/src/test/incremental/const-generics/issue-68477.rs b/src/test/incremental/const-generics/issue-68477.rs
deleted file mode 100644
index 9e35cf93d..000000000
--- a/src/test/incremental/const-generics/issue-68477.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// edition:2018
-// revisions:rpass1
-
-// Needed to supply generic arguments to the anon const in `[(); FOO]`.
-#![feature(generic_const_exprs)]
-
-const FOO: usize = 1;
-
-struct Container<T> {
-    val: std::marker::PhantomData<T>,
-    blah: [(); FOO]
-}
-
-async fn dummy() {}
-
-async fn foo() {
-    let a: Container<&'static ()>;
-    dummy().await;
-}
-
-fn is_send<T: Send>(_: T) {}
-
-fn main() {
-    is_send(foo());
-}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-1.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-1.rs
deleted file mode 100644
index 8262a2a21..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-1.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// revisions: cfail
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features, unused_braces)]
-
-trait Delegates<T> {}
-
-struct FileCap<const Op: bool> {}
-
-fn writes_to_path<C>(cap: &C)
-where
-    C: Delegates<FileCap<{ false }>>,
-{
-    writes_to_specific_path(&cap);
-    //~^ error: the trait bound
-}
-
-fn writes_to_specific_path<C>(cap: &C)
-where
-    C: Delegates<FileCap<{ false }>>,
-{
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-2.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-2.rs
deleted file mode 100644
index 92bbcba4b..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-2.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// revisions: rpass
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-struct Z;
-const fn one() -> usize {
-    1
-}
-
-fn from_a_to_b<T>(source: [u8; one()]) -> T {
-    todo!()
-}
-
-fn not_main() {
-    let _: &Z = from_a_to_b([0; 1]);
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-3.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-3.rs
deleted file mode 100644
index fc114f224..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-3.rs
+++ /dev/null
@@ -1,22 +0,0 @@
-// revisions: rpass
-#![feature(generic_const_exprs, adt_const_params)]
-#![allow(incomplete_features)]
-
-use std::{convert::TryFrom, num::NonZeroUsize};
-
-struct A<const N: NonZeroUsize>([u8; N.get()])
-where
-    [u8; N.get()]: Sized;
-
-impl<'a, const N: NonZeroUsize> TryFrom<&'a [u8]> for A<N>
-where
-    [u8; N.get()]: Sized,
-{
-    type Error = ();
-    fn try_from(slice: &'a [u8]) -> Result<A<N>, ()> {
-        let _x = <&[u8; N.get()] as TryFrom<&[u8]>>::try_from(slice);
-        unimplemented!();
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-82034.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-82034.rs
deleted file mode 100644
index c05d8355c..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-82034.rs
+++ /dev/null
@@ -1,34 +0,0 @@
-// revisions: rpass
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-pub trait IsTrue {}
-pub trait IsFalse {}
-
-pub struct Assert<const CHECK: bool> {}
-
-impl IsTrue for Assert<true> {}
-impl IsFalse for Assert<false> {}
-
-pub struct SliceConstWriter<'a, const N: usize> {
-    ptr: &'a mut [u8],
-}
-impl<'a, const N: usize> SliceConstWriter<'a, { N }> {
-    pub fn from_slice(vec: &'a mut [u8]) -> Self {
-        Self { ptr: vec }
-    }
-
-    pub fn convert<const NN: usize>(mut self) -> SliceConstWriter<'a, { NN }> {
-        SliceConstWriter { ptr: self.ptr }
-    }
-}
-
-impl<'a, const N: usize> SliceConstWriter<'a, { N }>
-where
-    Assert<{ N >= 2 }>: IsTrue,
-{
-    pub fn write_u8(mut self) -> SliceConstWriter<'a, { N - 2 }> {
-        self.convert()
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-1.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-1.rs
deleted file mode 100644
index 8886a556d..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-1.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// revisions: rpass
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-pub struct Ref<'a, const NUM: usize>(&'a i32);
-
-impl<'a, const NUM: usize> Ref<'a, NUM> {
-    pub fn foo<const A: usize>(r: Ref<'a, A>) -> Self
-    where
-        ([(); NUM - A], [(); A - NUM]): Sized,
-    {
-        Self::bar(r)
-    }
-
-    pub fn bar<const A: usize>(r: Ref<'a, A>) -> Self
-    where
-        ([(); NUM - A], [(); A - NUM]): Sized,
-    {
-        Self(r.0)
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-3.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-3.rs
deleted file mode 100644
index 5b2f5edc8..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-85031-3.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// revisions: rpass
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-fn test<const SIZE: usize>() {}
-
-trait SomeTrait {
-    const SIZE: usize;
-}
-
-struct A<'a, T> {
-    some_ref: &'a str,
-    _maker: core::marker::PhantomData<T>,
-}
-
-impl<'a, T: SomeTrait> A<'a, T>
-where
-    [(); T::SIZE]: ,
-{
-    fn call_test() {
-        test::<{ T::SIZE }>();
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-86953.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-86953.rs
deleted file mode 100644
index d659c5676..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-86953.rs
+++ /dev/null
@@ -1,16 +0,0 @@
-// revisions: rpass
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-struct Foo;
-impl<'a> std::ops::Add<&'a Foo> for Foo
-where
-    [(); 0 + 0]: Sized,
-{
-    type Output = ();
-    fn add(self, _: &Foo) -> Self::Output {
-        loop {}
-    }
-}
-
-fn main() {}
diff --git a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-88022.rs b/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-88022.rs
deleted file mode 100644
index 5f5435ba9..000000000
--- a/src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-88022.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// revisions: cfail
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features, unused_braces)]
-
-struct Buffer<T, const S: usize>
-where
-    [(); { S * 2 }]: Default,
-{
-    data: [T; { S * 2 }],
-}
-
-struct BufferIter<'a, T, const S: usize>(&'a Buffer<T, S>)
-where
-    [(); { S * 2 }]: Default;
-
-impl<'a, T, const S: usize> Iterator for BufferIter<'a, T, S> {
-    //~^ error: the trait bound
-    //~^^ error: unconstrained generic constant
-    type Item = &'a T;
-
-    fn next(&mut self) -> Option<Self::Item> {
-        //~^ error: the trait bound
-        //~^^ error: unconstrained generic constant
-        None
-    }
-}
-
-fn main() {}