Rollup merge of rust-lang#58743 - varkor:bulk-needstest-1, r=alexcrichton

Add tests for several E-needstest issues

This PR adds a number of tests for various `E-needstest` errors. These tend to have been left open for a long time and seem unlikely to be closed otherwise.

Closes rust-lang#10876.
Closes rust-lang#22892.
Closes rust-lang#26448.
Closes rust-lang#26577.
Closes rust-lang#26619.
Closes rust-lang#27054.
Closes rust-lang#28587.
Closes rust-lang#44127.
Closes rust-lang#44255.
Closes rust-lang#55731.
Closes rust-lang#57781.

Author: pietroalbini

src/test/ui/asm/invalid-inline-asm-2.rs

@@ -0,0 +1,10 @@
+#![feature(asm)]
+
+fn main() {
+    let a: usize;
+
+    unsafe {
+        asm!("" : "=d"(a) : : : );
+        //~^ ERROR couldn't allocate output register for constraint 'd'
+    }
+}

src/test/ui/asm/invalid-inline-asm-2.stderr

@@ -0,0 +1,8 @@
+error: couldn't allocate output register for constraint 'd'
+  --> $DIR/invalid-inline-asm-2.rs:7:9
+   |
+LL |         asm!("" : "=d"(a) : : : );
+   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+

src/test/ui/asm/invalid-inline-asm.rs

@@ -0,0 +1,9 @@
+#![feature(asm)]
+
+fn main() {
+    let byte = 0;
+    let port = 0x80;
+
+    unsafe { asm!("out %al, %dx" :: "a" (byte), "d" (port) :: "volatile"); }
+    //~^ ERROR couldn't allocate input reg for constraint 'a'
+}

src/test/ui/asm/invalid-inline-asm.stderr

@@ -0,0 +1,8 @@
+error: couldn't allocate input reg for constraint 'a'
+  --> $DIR/invalid-inline-asm.rs:7:14
+   |
+LL |     unsafe { asm!("out %al, %dx" :: "a" (byte), "d" (port) :: "volatile"); }
+   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+

src/test/ui/block-expression-remove-semicolon.rs

@@ -0,0 +1,10 @@
+fn foo() -> i32 {
+   0
+}
+
+fn main() {
+    let x: i32 = {
+        //~^ ERROR mismatched types
+        foo(); //~ HELP consider removing this semicolon
+    };
+}

src/test/ui/block-expression-remove-semicolon.stderr

@@ -0,0 +1,17 @@
+error[E0308]: mismatched types
+  --> $DIR/block-expression-remove-semicolon.rs:6:18
+   |
+LL |       let x: i32 = {
+   |  __________________^
+LL | |         //~^ ERROR mismatched types
+LL | |         foo(); //~ HELP consider removing this semicolon
+   | |              - help: consider removing this semicolon
+LL | |     };
+   | |_____^ expected i32, found ()
+   |
+   = note: expected type `i32`
+              found type `()`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0308`.

src/test/ui/borrowck/issue-10876.rs

@@ -0,0 +1,19 @@
+// run-pass
+
+#![feature(nll)]
+
+enum Nat {
+    S(Box<Nat>),
+    Z
+}
+fn test(x: &mut Nat) {
+    let mut p = &mut *x;
+    loop {
+        match p {
+            &mut Nat::Z => break,
+            &mut Nat::S(ref mut n) => p = &mut *n
+        }
+    }
+}
+
+fn main() {}

src/test/ui/issues/issue-26448-1.rs

@@ -0,0 +1,13 @@
+// run-pass
+
+pub trait Foo<T> {
+    fn foo(self) -> T;
+}
+
+impl<'a, T> Foo<T> for &'a str where &'a str: Into<T> {
+    fn foo(self) -> T {
+        panic!();
+    }
+}
+
+fn main() {}

src/test/ui/issues/issue-26448-2.rs

@@ -0,0 +1,21 @@
+// run-pass
+
+pub struct Bar<T> {
+    items: Vec<&'static str>,
+    inner: T,
+}
+
+pub trait IntoBar<T> {
+    fn into_bar(self) -> Bar<T>;
+}
+
+impl<'a, T> IntoBar<T> for &'a str where &'a str: Into<T> {
+    fn into_bar(self) -> Bar<T> {
+        Bar {
+            items: Vec::new(),
+            inner: self.into(),
+        }
+    }
+}
+
+fn main() {}

src/test/ui/issues/issue-26448-3.rs

@@ -0,0 +1,25 @@
+// run-pass
+
+pub struct Item {
+    _inner: &'static str,
+}
+
+pub struct Bar<T> {
+    items: Vec<Item>,
+    inner: T,
+}
+
+pub trait IntoBar<T> {
+    fn into_bar(self) -> Bar<T>;
+}
+
+impl<'a, T> IntoBar<T> for &'a str where &'a str: Into<T> {
+    fn into_bar(self) -> Bar<T> {
+        Bar {
+            items: Vec::new(),
+            inner: self.into(),
+        }
+    }
+}
+
+fn main() {}