Merging upstream version 1.68.2+dfsg1.

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

1 files changed, 0 insertions, 73 deletions

diff --git a/src/test/ui/mir/issue-101844.rs b/src/test/ui/mir/issue-101844.rs
deleted file mode 100644
index da8a25f5f..000000000
--- a/src/test/ui/mir/issue-101844.rs
+++ /dev/null
@@ -1,73 +0,0 @@
-// check-pass
-
-pub trait FirstTrait {
-    type Item;
-    type Extra: Extra<(), Error = Self::Item>;
-}
-
-trait SecondTrait {
-    type Item2;
-}
-
-trait ThirdTrait: SecondTrait {
-    type Item3;
-}
-
-trait FourthTrait {
-    type Item4;
-}
-
-impl<First> SecondTrait for First
-where
-    First: FirstTrait,
-{
-    type Item2 = First::Extra;
-}
-
-impl<Second, T> ThirdTrait for Second
-where
-    Second: SecondTrait<Item2 = T>,
-{
-    type Item3 = T;
-}
-
-impl<S, Third: ?Sized> FourthTrait for Third
-where
-    Third: ThirdTrait<Item3 = S>,
-{
-    type Item4 = S;
-}
-
-pub trait Extra<Request> {
-    type Error;
-}
-
-struct ImplShoulExist<D, Req> {
-    _gen: (D, Req),
-}
-
-impl<D, Req> ImplShoulExist<D, Req>
-where
-    D: FourthTrait,
-    D::Item4: Extra<Req>,
-    <D::Item4 as Extra<Req>>::Error: Into<()>,
-{
-    fn access_fn(_: D) {
-        todo!()
-    }
-}
-
-impl<D, Req> Extra<Req> for ImplShoulExist<D, Req> {
-    type Error = ();
-}
-
-pub fn broken<MS>(ms: MS)
-where
-    MS: FirstTrait,
-    MS::Item: Into<()>,
-{
-    // Error: Apparently Balance::new doesn't exist during MIR validation
-    let _ = ImplShoulExist::<MS, ()>::access_fn(ms);
-}
-
-fn main() {}