diff options
Diffstat (limited to 'crates/hir_ty/src/tests/traits.rs')
-rw-r--r-- | crates/hir_ty/src/tests/traits.rs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/crates/hir_ty/src/tests/traits.rs b/crates/hir_ty/src/tests/traits.rs index 1bb6dff95..37cd04c6f 100644 --- a/crates/hir_ty/src/tests/traits.rs +++ b/crates/hir_ty/src/tests/traits.rs | |||
@@ -2273,8 +2273,7 @@ fn test<T, U>() where T: Trait<U::Item>, U: Trait<T::Item> { | |||
2273 | 2273 | ||
2274 | #[test] | 2274 | #[test] |
2275 | fn unselected_projection_in_trait_env_cycle_3() { | 2275 | fn unselected_projection_in_trait_env_cycle_3() { |
2276 | // this is a cycle, although it would be possible to handle if we didn't go | 2276 | // this is a cycle for rustc; we currently accept it |
2277 | // into bindings when looking for traits | ||
2278 | check_types( | 2277 | check_types( |
2279 | r#" | 2278 | r#" |
2280 | //- /main.rs | 2279 | //- /main.rs |
@@ -2285,7 +2284,7 @@ trait Trait { | |||
2285 | 2284 | ||
2286 | fn test<T>() where T: Trait<OtherItem = T::Item> { | 2285 | fn test<T>() where T: Trait<OtherItem = T::Item> { |
2287 | let x: T::Item = no_matter; | 2286 | let x: T::Item = no_matter; |
2288 | } //^ {unknown} | 2287 | } //^ Trait::Item<T> |
2289 | "#, | 2288 | "#, |
2290 | ); | 2289 | ); |
2291 | } | 2290 | } |