bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/method_resolution.rs')
-rw-r--r--crates/hir-ty/src/tests/method_resolution.rs88
1 files changed, 88 insertions, 0 deletions
diff --git a/crates/hir-ty/src/tests/method_resolution.rs b/crates/hir-ty/src/tests/method_resolution.rs
index 63a83d403f..14e2e74653 100644
--- a/crates/hir-ty/src/tests/method_resolution.rs
+++ b/crates/hir-ty/src/tests/method_resolution.rs
@@ -1641,6 +1641,55 @@ impl<'a, T> IntoIterator for &'a [T] {
}
#[test]
+fn skip_during_method_dispatch() {
+ check_types(
+ r#"
+//- /main2018.rs crate:main2018 deps:core edition:2018
+use core::IntoIterator;
+
+fn f() {
+ let v = [4].into_iter();
+ v;
+ //^ &'? i32
+
+ let a = [0, 1].into_iter();
+ a;
+ //^ &'? i32
+}
+
+//- /main2021.rs crate:main2021 deps:core edition:2021
+use core::IntoIterator;
+
+fn f() {
+ let v = [4].into_iter();
+ v;
+ //^ i32
+
+ let a = [0, 1].into_iter();
+ a;
+ //^ &'? i32
+}
+
+//- /core.rs crate:core
+#[rustc_skip_during_method_dispatch(array, boxed_slice)]
+pub trait IntoIterator {
+ type Out;
+ fn into_iter(self) -> Self::Out;
+}
+
+impl<T> IntoIterator for [T; 1] {
+ type Out = T;
+ fn into_iter(self) -> Self::Out { loop {} }
+}
+impl<'a, T> IntoIterator for &'a [T] {
+ type Out = &'a T;
+ fn into_iter(self) -> Self::Out { loop {} }
+}
+ "#,
+ );
+}
+
+#[test]
fn sized_blanket_impl() {
check_infer(
r#"
@@ -2050,3 +2099,42 @@ fn test() {
"#,
);
}
+
+#[test]
+fn mismatched_args_due_to_supertraits_with_deref() {
+ check_no_mismatches(
+ r#"
+//- minicore: deref
+use core::ops::Deref;
+
+trait Trait1 {
+ type Assoc: Deref<Target = String>;
+}
+
+trait Trait2: Trait1 {
+}
+
+trait Trait3 {
+ type T1: Trait1;
+ type T2: Trait2;
+ fn bar(&self, x: bool, y: bool);
+}
+
+struct Foo;
+
+impl Foo {
+ fn bar(&mut self, _: &'static str) {}
+}
+
+impl Deref for Foo {
+ type Target = u32;
+ fn deref(&self) -> &Self::Target { &0 }
+}
+
+fn problem_method<T: Trait3>() {
+ let mut foo = Foo;
+ foo.bar("hello"); // Rustc ok, RA errors (mismatched args)
+}
+"#,
+ );
+}