summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/suggest-dereferences/issue-62530.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/traits/suggest-dereferences/issue-62530.rs')
-rw-r--r--tests/ui/traits/suggest-dereferences/issue-62530.rs15
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/ui/traits/suggest-dereferences/issue-62530.rs b/tests/ui/traits/suggest-dereferences/issue-62530.rs
new file mode 100644
index 000000000..53846be73
--- /dev/null
+++ b/tests/ui/traits/suggest-dereferences/issue-62530.rs
@@ -0,0 +1,15 @@
+// run-rustfix
+fn takes_str(_x: &str) {}
+
+fn takes_type_parameter<T>(_x: T) where T: SomeTrait {}
+
+trait SomeTrait {}
+impl SomeTrait for &'_ str {}
+impl SomeTrait for char {}
+
+fn main() {
+ let string = String::new();
+ takes_str(&string); // Ok
+ takes_type_parameter(&string); // Error
+ //~^ ERROR the trait bound `&String: SomeTrait` is not satisfied
+}