1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/typeck/terr-sorts.rs b/tests/ui/typeck/terr-sorts.rs
new file mode 100644
index 000000000..c1e2f7dae
--- /dev/null
+++ b/tests/ui/typeck/terr-sorts.rs
@@ -0,0 +1,15 @@
+struct Foo {
+    a: isize,
+    b: isize,
+}
+
+type Bar = Box<Foo>;
+
+fn want_foo(f: Foo) {}
+fn have_bar(b: Bar) {
+    want_foo(b); //~  ERROR mismatched types
+                 //~| expected struct `Foo`
+                 //~| found struct `Box<Foo>`
+}
+
+fn main() {}