Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/tests/simple.rs')
| -rw-r--r-- | crates/hir-ty/src/tests/simple.rs | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/crates/hir-ty/src/tests/simple.rs b/crates/hir-ty/src/tests/simple.rs index d4d61c2167..46ab2377b5 100644 --- a/crates/hir-ty/src/tests/simple.rs +++ b/crates/hir-ty/src/tests/simple.rs @@ -2539,19 +2539,31 @@ impl<T> [T] { fn test() { let vec = <[_]>::into_vec(box [1i32]); + let v: Vec<Box<dyn B>> = <[_]> :: into_vec(box [box Astruct]); } + +trait B{} +struct Astruct; +impl B for Astruct {} "#, expect![[r#" 569..573 'self': Box<[T], A> 602..634 '{ ... }': Vec<T, A> 612..628 'unimpl...ted!()': Vec<T, A> - 648..694 '{ ...2]); }': () + 648..761 '{ ...t]); }': () 658..661 'vec': Vec<i32, Global> 664..679 '<[_]>::into_vec': fn into_vec<i32, Global>(Box<[i32], Global>) -> Vec<i32, Global> 664..691 '<[_]>:...1i32])': Vec<i32, Global> 680..690 'box [1i32]': Box<[i32; 1], Global> 684..690 '[1i32]': [i32; 1] 685..689 '1i32': i32 + 701..702 'v': Vec<Box<dyn B, Global>, Global> + 722..739 '<[_]> ...to_vec': fn into_vec<Box<dyn B, Global>, Global>(Box<[Box<dyn B, Global>], Global>) -> Vec<Box<dyn B, Global>, Global> + 722..758 '<[_]> ...ruct])': Vec<Box<dyn B, Global>, Global> + 740..757 'box [b...truct]': Box<[Box<dyn B, Global>; 1], Global> + 744..757 '[box Astruct]': [Box<dyn B, Global>; 1] + 745..756 'box Astruct': Box<Astruct, Global> + 749..756 'Astruct': Astruct "#]], ) } |