From 576c215ab9184108422d30b311064b0efaf445d4 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Tue, 1 Oct 2019 04:55:12 +0900
Subject: [PATCH 1/3] Add test for #50571

---
 src/test/ui/issues/issue-50571.rs     |  6 ++++++
 src/test/ui/issues/issue-50571.stderr | 13 +++++++++++++
 2 files changed, 19 insertions(+)
 create mode 100644 src/test/ui/issues/issue-50571.rs
 create mode 100644 src/test/ui/issues/issue-50571.stderr

diff --git a/src/test/ui/issues/issue-50571.rs b/src/test/ui/issues/issue-50571.rs
new file mode 100644
index 0000000000000..728c113bdc323
--- /dev/null
+++ b/src/test/ui/issues/issue-50571.rs
@@ -0,0 +1,6 @@
+trait Foo {
+    fn foo([a, b]: [i32; 2]) {}
+    //~^ ERROR: patterns aren't allowed in methods without bodies
+}
+
+fn main() {}
diff --git a/src/test/ui/issues/issue-50571.stderr b/src/test/ui/issues/issue-50571.stderr
new file mode 100644
index 0000000000000..834635388a066
--- /dev/null
+++ b/src/test/ui/issues/issue-50571.stderr
@@ -0,0 +1,13 @@
+error[E0642]: patterns aren't allowed in methods without bodies
+  --> $DIR/issue-50571.rs:2:12
+   |
+LL |     fn foo([a, b]: [i32; 2]) {}
+   |            ^^^^^^
+help: give this argument a name or use an underscore to ignore it
+   |
+LL |     fn foo(_: [i32; 2]) {}
+   |            ^
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0642`.

From bc25746d488dd49ab2fd49b6b4b51f2fe464c56b Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Tue, 1 Oct 2019 04:55:29 +0900
Subject: [PATCH 2/3] Add test for #58022

---
 src/test/ui/issues/issue-58022.rs     | 18 ++++++++++++++++++
 src/test/ui/issues/issue-58022.stderr | 19 +++++++++++++++++++
 2 files changed, 37 insertions(+)
 create mode 100644 src/test/ui/issues/issue-58022.rs
 create mode 100644 src/test/ui/issues/issue-58022.stderr

diff --git a/src/test/ui/issues/issue-58022.rs b/src/test/ui/issues/issue-58022.rs
new file mode 100644
index 0000000000000..c6dd45e6cf3e9
--- /dev/null
+++ b/src/test/ui/issues/issue-58022.rs
@@ -0,0 +1,18 @@
+pub trait Foo: Sized {
+    const SIZE: usize;
+
+    fn new(slice: &[u8; Foo::SIZE]) -> Self;
+    //~^ ERROR: type annotations needed: cannot resolve `_: Foo`
+}
+
+pub struct Bar<T: ?Sized>(T);
+
+impl Bar<[u8]> {
+    const SIZE: usize = 32;
+
+    fn new(slice: &[u8; Self::SIZE]) -> Self {
+        Foo(Box::new(*slice)) //~ ERROR: expected function, found trait `Foo`
+    }
+}
+
+fn main() {}
diff --git a/src/test/ui/issues/issue-58022.stderr b/src/test/ui/issues/issue-58022.stderr
new file mode 100644
index 0000000000000..71bad7b81fa87
--- /dev/null
+++ b/src/test/ui/issues/issue-58022.stderr
@@ -0,0 +1,19 @@
+error[E0423]: expected function, found trait `Foo`
+  --> $DIR/issue-58022.rs:14:9
+   |
+LL |         Foo(Box::new(*slice))
+   |         ^^^ not a function
+
+error[E0283]: type annotations needed: cannot resolve `_: Foo`
+  --> $DIR/issue-58022.rs:4:25
+   |
+LL |     const SIZE: usize;
+   |     ------------------ required by `Foo::SIZE`
+LL | 
+LL |     fn new(slice: &[u8; Foo::SIZE]) -> Self;
+   |                         ^^^^^^^^^
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0283, E0423.
+For more information about an error, try `rustc --explain E0283`.

From 9c73131fd04bf5a60c53c752293f136fdaa016af Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Tue, 1 Oct 2019 04:55:46 +0900
Subject: [PATCH 3/3] Add test for #58344

---
 src/test/ui/issues/issue-58344.rs     | 50 +++++++++++++++++++++++++++
 src/test/ui/issues/issue-58344.stderr | 19 ++++++++++
 2 files changed, 69 insertions(+)
 create mode 100644 src/test/ui/issues/issue-58344.rs
 create mode 100644 src/test/ui/issues/issue-58344.stderr

diff --git a/src/test/ui/issues/issue-58344.rs b/src/test/ui/issues/issue-58344.rs
new file mode 100644
index 0000000000000..99b656d74f505
--- /dev/null
+++ b/src/test/ui/issues/issue-58344.rs
@@ -0,0 +1,50 @@
+use std::ops::Add;
+
+trait Trait<T> {
+    fn get(self) -> T;
+}
+
+struct Holder<T>(T);
+
+impl<T> Trait<T> for Holder<T> {
+    fn get(self) -> T {
+        self.0
+    }
+}
+
+enum Either<L, R> {
+    Left(L),
+    Right(R),
+}
+
+impl<L, R> Either<L, R> {
+    fn converge<T>(self) -> T where L: Trait<T>, R: Trait<T> {
+        match self {
+            Either::Left(val) => val.get(),
+            Either::Right(val) => val.get(),
+        }
+    }
+}
+
+fn add_generic<A: Add<B>, B>(lhs: A, rhs: B) -> Either<
+    impl Trait<<A as Add<B>>::Output>,
+    impl Trait<<A as Add<B>>::Output>
+> {
+    if true {
+        Either::Left(Holder(lhs + rhs))
+    } else {
+        Either::Right(Holder(lhs + rhs))
+    }
+}
+
+fn add_one(
+    value: u32,
+) -> Either<impl Trait<<u32 as Add<u32>>::Output>, impl Trait<<u32 as Add<u32>>::Output>> {
+    //~^ ERROR: the trait bound `impl Trait<<u32 as std::ops::Add>::Output>: Trait<u32>`
+    //~| ERROR: the trait bound `impl Trait<<u32 as std::ops::Add>::Output>: Trait<u32>`
+    add_generic(value, 1u32)
+}
+
+pub fn main() {
+    add_one(3).converge();
+}
diff --git a/src/test/ui/issues/issue-58344.stderr b/src/test/ui/issues/issue-58344.stderr
new file mode 100644
index 0000000000000..427d03b679d5f
--- /dev/null
+++ b/src/test/ui/issues/issue-58344.stderr
@@ -0,0 +1,19 @@
+error[E0277]: the trait bound `impl Trait<<u32 as std::ops::Add>::Output>: Trait<u32>` is not satisfied
+  --> $DIR/issue-58344.rs:42:13
+   |
+LL | ) -> Either<impl Trait<<u32 as Add<u32>>::Output>, impl Trait<<u32 as Add<u32>>::Output>> {
+   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait<u32>` is not implemented for `impl Trait<<u32 as std::ops::Add>::Output>`
+   |
+   = note: the return type of a function must have a statically known size
+
+error[E0277]: the trait bound `impl Trait<<u32 as std::ops::Add>::Output>: Trait<u32>` is not satisfied
+  --> $DIR/issue-58344.rs:42:52
+   |
+LL | ) -> Either<impl Trait<<u32 as Add<u32>>::Output>, impl Trait<<u32 as Add<u32>>::Output>> {
+   |                                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Trait<u32>` is not implemented for `impl Trait<<u32 as std::ops::Add>::Output>`
+   |
+   = note: the return type of a function must have a statically known size
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0277`.