aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests
diff options
context:
space:
mode:
Diffstat (limited to 'crates/ra_hir_ty/src/tests')
-rw-r--r--crates/ra_hir_ty/src/tests/traits.rs47
1 files changed, 46 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/tests/traits.rs b/crates/ra_hir_ty/src/tests/traits.rs
index e8778d419..d83dc6d79 100644
--- a/crates/ra_hir_ty/src/tests/traits.rs
+++ b/crates/ra_hir_ty/src/tests/traits.rs
@@ -1110,7 +1110,6 @@ fn test() {
1110} 1110}
1111 1111
1112#[test] 1112#[test]
1113#[ignore]
1114fn impl_trait() { 1113fn impl_trait() {
1115 assert_snapshot!( 1114 assert_snapshot!(
1116 infer(r#" 1115 infer(r#"
@@ -1161,6 +1160,52 @@ fn test(x: impl Trait<u64>, y: &impl Trait<u64>) {
1161} 1160}
1162 1161
1163#[test] 1162#[test]
1163fn return_pos_impl_trait() {
1164 assert_snapshot!(
1165 infer(r#"
1166trait Iterator {
1167 type Item;
1168 fn next(&mut self) -> Self::Item;
1169}
1170trait Trait<T> {
1171 fn foo(&self) -> T;
1172}
1173fn bar() -> (impl Iterator<Item = impl Trait<u32>>, impl Trait<u64>) { loop {} }
1174fn baz<T>(t: T) -> (impl Iterator<Item = impl Trait<T>>, impl Trait<T>) { loop {} }
1175
1176fn test() {
1177 // let (a, b) = bar();
1178 // a.next().foo();
1179 // b.foo();
1180 let (c, d) = baz(1u128);
1181 c.next();//.foo();
1182 // d.foo();
1183}
1184"#),
1185 @r###"
1186 50..54 'self': &mut Self
1187 102..106 'self': &Self
1188 185..196 '{ loop {} }': ({unknown}, {unknown})
1189 187..194 'loop {}': !
1190 192..194 '{}': ()
1191 207..208 't': T
1192 269..280 '{ loop {} }': ({unknown}, {unknown})
1193 271..278 'loop {}': !
1194 276..278 '{}': ()
1195 292..429 '{ ...o(); }': ()
1196 368..374 '(c, d)': (impl Iterator<Item = impl Trait<u128>>, impl Trait<u128>)
1197 369..370 'c': impl Iterator<Item = impl Trait<u128>>
1198 372..373 'd': impl Trait<u128>
1199 377..380 'baz': fn baz<u128>(u128) -> (impl Iterator<Item = impl Trait<u128>>, impl Trait<u128>)
1200 377..387 'baz(1u128)': (impl Iterator<Item = impl Trait<u128>>, impl Trait<u128>)
1201 381..386 '1u128': u128
1202 393..394 'c': impl Iterator<Item = impl Trait<u128>>
1203 393..401 'c.next()': impl Trait<u128>
1204 "###
1205 );
1206}
1207
1208#[test]
1164fn dyn_trait() { 1209fn dyn_trait() {
1165 assert_snapshot!( 1210 assert_snapshot!(
1166 infer(r#" 1211 infer(r#"