Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/traits.rs')
-rw-r--r--crates/hir-ty/src/tests/traits.rs56
1 files changed, 28 insertions, 28 deletions
diff --git a/crates/hir-ty/src/tests/traits.rs b/crates/hir-ty/src/tests/traits.rs
index d36b885ec1..48dd954032 100644
--- a/crates/hir-ty/src/tests/traits.rs
+++ b/crates/hir-ty/src/tests/traits.rs
@@ -4439,42 +4439,42 @@ fn test(v: S<i32>) {
fn associated_type_in_argument() {
check(
r#"
- trait A {
- fn m(&self) -> i32;
- }
+trait A {
+ fn m(&self) -> i32;
+}
- fn x<T: B>(k: &<T as B>::Ty) {
- k.m();
- }
+fn x<T: B>(k: &<T as B>::Ty) {
+ k.m();
+}
- struct X;
- struct Y;
+struct X;
+struct Y;
- impl A for X {
- fn m(&self) -> i32 {
- 8
- }
+impl A for X {
+ fn m(&self) -> i32 {
+ 8
}
+}
- impl A for Y {
- fn m(&self) -> i32 {
- 32
- }
+impl A for Y {
+ fn m(&self) -> i32 {
+ 32
}
+}
- trait B {
- type Ty: A;
- }
+trait B {
+ type Ty: A;
+}
- impl B for u16 {
- type Ty = X;
- }
+impl B for u16 {
+ type Ty = X;
+}
- fn ttt() {
- let inp = Y;
- x::<u16>(&inp);
- //^^^^ expected &X, got &Y
- }
- "#,
+fn ttt() {
+ let inp = Y;
+ x::<u16>(&inp);
+ //^^^^ expected &X, got &Y
+}
+"#,
);
}