summaryrefslogtreecommitdiffstats
path: root/src/test/ui/coercion/coerce-block-tail-57749.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/coercion/coerce-block-tail-57749.rs')
-rw-r--r--src/test/ui/coercion/coerce-block-tail-57749.rs35
1 files changed, 35 insertions, 0 deletions
diff --git a/src/test/ui/coercion/coerce-block-tail-57749.rs b/src/test/ui/coercion/coerce-block-tail-57749.rs
new file mode 100644
index 000000000..79b5b3323
--- /dev/null
+++ b/src/test/ui/coercion/coerce-block-tail-57749.rs
@@ -0,0 +1,35 @@
+// check-fail
+use std::ops::Deref;
+
+fn main() {
+ fn save(who: &str) {
+ println!("I'll save you, {}!", who);
+ }
+
+ struct Madoka;
+
+ impl Deref for Madoka {
+ type Target = str;
+ fn deref(&self) -> &Self::Target {
+ "Madoka"
+ }
+ }
+
+ save(&{ Madoka });
+
+ fn reset(how: &u32) {
+ println!("Reset {} times", how);
+ }
+
+ struct Homura;
+
+ impl Deref for Homura {
+ type Target = u32;
+ fn deref(&self) -> &Self::Target {
+ &42
+ }
+ }
+
+ reset(&{ Homura });
+ //~^ ERROR mismatched types
+}