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 | 36 |
1 files changed, 20 insertions, 16 deletions
diff --git a/crates/hir-ty/src/tests/simple.rs b/crates/hir-ty/src/tests/simple.rs index db557b7507..6367521841 100644 --- a/crates/hir-ty/src/tests/simple.rs +++ b/crates/hir-ty/src/tests/simple.rs @@ -2702,6 +2702,8 @@ fn box_into_vec() { check_infer( r#" //- /core.rs crate:core +#![feature(lang_items)] + #[lang = "sized"] pub trait Sized {} @@ -2745,22 +2747,22 @@ struct Astruct; impl B for Astruct {} "#, expect![[r#" - 614..618 'self': Box<[T], A> - 647..679 '{ ... }': Vec<T, A> - 693..863 '{ ...])); }': () - 703..706 'vec': Vec<i32, Global> - 709..724 '<[_]>::into_vec': fn into_vec<i32, Global>(Box<[i32], Global>) -> Vec<i32, Global> - 709..755 '<[_]>:...i32]))': Vec<i32, Global> - 725..754 '#[rust...1i32])': Box<[i32; 1], Global> - 747..753 '[1i32]': [i32; 1] - 748..752 '1i32': i32 - 765..766 'v': Vec<Box<dyn B + 'static, Global>, Global> - 786..803 '<[_]> ...to_vec': fn into_vec<Box<dyn B + '?, Global>, Global>(Box<[Box<dyn B + '?, Global>], Global>) -> Vec<Box<dyn B + '?, Global>, Global> - 786..860 '<[_]> ...ct)]))': Vec<Box<dyn B + '?, Global>, Global> - 804..859 '#[rust...uct)])': Box<[Box<dyn B + '?, Global>; 1], Global> - 826..858 '[#[rus...ruct)]': [Box<dyn B + '?, Global>; 1] - 827..857 '#[rust...truct)': Box<Astruct, Global> - 849..856 'Astruct': Astruct + 639..643 'self': Box<[T], A> + 672..704 '{ ... }': Vec<T, A> + 718..888 '{ ...])); }': () + 728..731 'vec': Vec<i32, Global> + 734..749 '<[_]>::into_vec': fn into_vec<i32, Global>(Box<[i32], Global>) -> Vec<i32, Global> + 734..780 '<[_]>:...i32]))': Vec<i32, Global> + 750..779 '#[rust...1i32])': Box<[i32; 1], Global> + 772..778 '[1i32]': [i32; 1] + 773..777 '1i32': i32 + 790..791 'v': Vec<Box<dyn B + 'static, Global>, Global> + 811..828 '<[_]> ...to_vec': fn into_vec<Box<dyn B + '?, Global>, Global>(Box<[Box<dyn B + '?, Global>], Global>) -> Vec<Box<dyn B + '?, Global>, Global> + 811..885 '<[_]> ...ct)]))': Vec<Box<dyn B + '?, Global>, Global> + 829..884 '#[rust...uct)])': Box<[Box<dyn B + '?, Global>; 1], Global> + 851..883 '[#[rus...ruct)]': [Box<dyn B + '?, Global>; 1] + 852..882 '#[rust...truct)': Box<Astruct, Global> + 874..881 'Astruct': Astruct "#]], ) } @@ -3647,6 +3649,8 @@ fn main() { fn cstring_literals() { check_types( r#" +#![feature(lang_items)] + #[lang = "CStr"] pub struct CStr; |