From b7fdad8448cbd3a94c2cb877a1d209f3182ca0d5 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Sat, 2 Mar 2019 14:53:26 +0100 Subject: Add a bunch of tests for type inference involving traits None of them works correctly yet, of course. --- .../snapshots/tests__infer_associated_type_bound.snap | 10 ++++++++++ ...s__infer_call_trait_method_on_generic_param_1.snap | 11 +++++++++++ ...s__infer_call_trait_method_on_generic_param_2.snap | 11 +++++++++++ .../src/ty/snapshots/tests__infer_from_bound_1.snap | 17 +++++++++++++++++ .../src/ty/snapshots/tests__infer_from_bound_2.snap | 18 ++++++++++++++++++ .../tests__infer_project_associated_type.snap | 12 ++++++++++++ .../ty/snapshots/tests__infer_trait_assoc_method.snap | 17 +++++++++++++++++ .../tests__infer_trait_method_generic_1.snap | 11 +++++++++++ .../tests__infer_trait_method_generic_2.snap | 13 +++++++++++++ .../snapshots/tests__infer_trait_method_scoped.snap | 15 +++++++++++++++ .../snapshots/tests__infer_trait_method_simple.snap | 14 ++++++++++++++ .../tests__infer_with_multiple_trait_impls.snap | 19 +++++++++++++++++++ 12 files changed, 168 insertions(+) create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_generic_1.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_generic_2.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap create mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap (limited to 'crates/ra_hir/src/ty/snapshots') diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap new file mode 100644 index 000000000..4dbde99f9 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap @@ -0,0 +1,10 @@ +--- +created: "2019-03-02T13:52:02.767222917Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[67; 100) '{ ...own; }': () +[77; 78) 'y': [unknown] +[90; 97) 'unknown': [unknown] + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap new file mode 100644 index 000000000..c56e6ba42 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap @@ -0,0 +1,11 @@ +--- +created: "2019-03-02T13:49:53.509955706Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[59; 60) 't': T +[65; 84) '{ ...d(); }': () +[71; 72) 't': T +[71; 81) 't.method()': [unknown] + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap new file mode 100644 index 000000000..7791a57da --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap @@ -0,0 +1,11 @@ +--- +created: "2019-03-02T13:49:53.477633667Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[66; 67) 't': T +[72; 91) '{ ...d(); }': () +[78; 79) 't': T +[78; 88) 't.method()': [unknown] + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap new file mode 100644 index 000000000..c8d8e9806 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap @@ -0,0 +1,17 @@ +--- +created: "2019-03-02T13:49:53.558635265Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[86; 87) 't': T +[92; 94) '{}': () +[105; 144) '{ ...(s); }': () +[115; 116) 's': S<[unknown]> +[119; 120) 'S': S<[unknown]>(T) -> S +[119; 129) 'S(unknown)': S<[unknown]> +[121; 128) 'unknown': [unknown] +[135; 138) 'foo': fn foo>(T) -> () +[135; 141) 'foo(s)': () +[139; 140) 's': S<[unknown]> + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap new file mode 100644 index 000000000..37def29c3 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap @@ -0,0 +1,18 @@ +--- +created: "2019-03-02T13:49:53.572131028Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[87; 88) 't': T +[98; 100) '{}': () +[111; 163) '{ ...(s); }': () +[121; 122) 's': S<[unknown]> +[125; 126) 'S': S<[unknown]>(T) -> S +[125; 135) 'S(unknown)': S<[unknown]> +[127; 134) 'unknown': [unknown] +[145; 146) 'x': u32 +[154; 157) 'foo': fn foo>(T) -> U +[154; 160) 'foo(s)': u32 +[158; 159) 's': S<[unknown]> + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap new file mode 100644 index 000000000..6d5331799 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap @@ -0,0 +1,12 @@ +--- +created: "2019-03-02T13:49:53.680954394Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[108; 181) '{ ...ter; }': () +[118; 119) 'x': i32 +[145; 146) '1': i32 +[156; 157) 'y': [unknown] +[169; 178) 'no_matter': [unknown] + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap new file mode 100644 index 000000000..c09e1cf44 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap @@ -0,0 +1,17 @@ +--- +created: "2019-03-02T13:49:53.756157395Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[87; 193) '{ ...t(); }': () +[97; 99) 's1': S +[105; 121) 'Defaul...efault': [unknown] +[105; 123) 'Defaul...ault()': S +[133; 135) 's2': [unknown] +[138; 148) 'S::default': [unknown] +[138; 150) 'S::default()': [unknown] +[160; 162) 's3': [unknown] +[165; 188) '(T) -> S +[108; 115) 'S(1u32)': S +[108; 124) 'S(1u32...thod()': [unknown] +[110; 114) '1u32': u32 + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap new file mode 100644 index 000000000..f2cce656d --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap @@ -0,0 +1,15 @@ +--- +created: "2019-03-02T15:41:07.568155273Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[63; 67) 'self': &[unknown] +[169; 173) 'self': &[unknown] +[300; 337) '{ ... }': () +[310; 311) 'S': S +[310; 320) 'S.method()': [unknown] +[416; 454) '{ ... }': () +[426; 427) 'S': S +[426; 436) 'S.method()': [unknown] + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap new file mode 100644 index 000000000..22e83722d --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap @@ -0,0 +1,14 @@ +--- +created: "2019-03-02T15:41:07.562949721Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[31; 35) 'self': &[unknown] +[110; 114) 'self': &[unknown] +[170; 228) '{ ...i128 }': () +[176; 178) 'S1': S1 +[176; 187) 'S1.method()': [unknown] +[203; 205) 'S2': S2 +[203; 214) 'S2.method()': [unknown] + diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap new file mode 100644 index 000000000..82c8bae58 --- /dev/null +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap @@ -0,0 +1,19 @@ +--- +created: "2019-03-02T13:49:53.860659428Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs +expression: "&result" +--- +[29; 33) 'self': [unknown] +[107; 198) '{ ...(S); }': () +[117; 118) 'x': u32 +[126; 127) 'S': S +[126; 134) 'S.into()': u32 +[144; 145) 'y': u64 +[153; 154) 'S': S +[153; 161) 'S.into()': u64 +[171; 172) 'z': [unknown] +[175; 192) 'Into::...::into': [unknown] +[175; 195) 'Into::...nto(S)': [unknown] +[193; 194) 'S': S + -- cgit v1.2.3 From affaf7700a86942f82e4cb25348c719bb928399a Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Sat, 2 Mar 2019 20:55:56 +0100 Subject: Represent unknown types as {unknown} instead of [unknown] Since the latter could actually be a real type... --- crates/ra_hir/src/ty/snapshots/tests__bug_585.snap | 14 ++++---- .../tests__infer_associated_type_bound.snap | 6 ++-- .../src/ty/snapshots/tests__infer_backwards.snap | 12 +++---- .../src/ty/snapshots/tests__infer_binary_op.snap | 8 ++--- ...infer_call_trait_method_on_generic_param_1.snap | 4 +-- ...infer_call_trait_method_on_generic_param_2.snap | 4 +-- .../src/ty/snapshots/tests__infer_const.snap | 6 ++-- .../ty/snapshots/tests__infer_from_bound_1.snap | 14 ++++---- .../ty/snapshots/tests__infer_from_bound_2.snap | 14 ++++---- .../src/ty/snapshots/tests__infer_pattern.snap | 30 ++++++++-------- .../tests__infer_project_associated_type.snap | 6 ++-- .../src/ty/snapshots/tests__infer_static.snap | 10 +++--- .../src/ty/snapshots/tests__infer_std_crash_1.snap | 10 +++--- .../src/ty/snapshots/tests__infer_std_crash_3.snap | 10 +++--- .../src/ty/snapshots/tests__infer_std_crash_4.snap | 16 ++++----- .../src/ty/snapshots/tests__infer_std_crash_5.snap | 40 +++++++++++----------- .../snapshots/tests__infer_trait_assoc_method.snap | 16 ++++----- .../tests__infer_trait_method_generic_1.snap | 6 ++-- .../tests__infer_trait_method_generic_2.snap | 6 ++-- .../tests__infer_trait_method_scoped.snap | 10 +++--- .../tests__infer_trait_method_simple.snap | 10 +++--- .../tests__infer_tuple_struct_generics.snap | 6 ++-- .../src/ty/snapshots/tests__infer_unary_op.snap | 14 ++++---- .../tests__infer_with_multiple_trait_impls.snap | 10 +++--- .../tests__no_panic_on_field_of_enum.snap | 8 ++--- .../src/ty/snapshots/tests__recursive_vars.snap | 18 +++++----- .../src/ty/snapshots/tests__recursive_vars_2.snap | 32 ++++++++--------- 27 files changed, 170 insertions(+), 170 deletions(-) (limited to 'crates/ra_hir/src/ty/snapshots') diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap index e7b42e413..4b5630bb6 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap @@ -1,15 +1,15 @@ --- -created: "2019-01-22T14:44:59.880187500+00:00" -creator: insta@0.4.0 +created: "2019-03-02T19:54:58.488684667Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" --- [11; 89) '{ ... } }': () -[17; 21) 'X {}': [unknown] +[17; 21) 'X {}': {unknown} [27; 87) 'match ... }': () -[33; 34) 'x': [unknown] -[45; 52) 'A::B {}': [unknown] +[33; 34) 'x': {unknown} +[45; 52) 'A::B {}': {unknown} [56; 58) '()': () -[68; 74) 'A::Y()': [unknown] +[68; 74) 'A::Y()': {unknown} [78; 80) '()': () diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap index 4dbde99f9..c9ec055f2 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap @@ -1,10 +1,10 @@ --- -created: "2019-03-02T13:52:02.767222917Z" +created: "2019-03-02T19:54:58.491748649Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [67; 100) '{ ...own; }': () -[77; 78) 'y': [unknown] -[90; 97) 'unknown': [unknown] +[77; 78) 'y': {unknown} +[90; 97) 'unknown': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap index f5840a934..7d6091f6c 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap @@ -1,25 +1,25 @@ --- -created: "2019-01-26T17:46:03.842478456+00:00" -creator: insta@0.5.2 -expression: "&result" +created: "2019-03-02T19:54:58.494864698Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs +expression: "&result" --- [14; 15) 'x': u32 [22; 24) '{}': () [78; 231) '{ ...t &c }': &mut &f64 [88; 89) 'a': u32 -[92; 108) 'unknow...nction': [unknown] +[92; 108) 'unknow...nction': {unknown} [92; 110) 'unknow...tion()': u32 [116; 125) 'takes_u32': fn takes_u32(u32) -> () [116; 128) 'takes_u32(a)': () [126; 127) 'a': u32 [138; 139) 'b': i32 -[142; 158) 'unknow...nction': [unknown] +[142; 158) 'unknow...nction': {unknown} [142; 160) 'unknow...tion()': i32 [166; 184) 'S { i3...d: b }': S [181; 182) 'b': i32 [194; 195) 'c': f64 -[198; 214) 'unknow...nction': [unknown] +[198; 214) 'unknow...nction': {unknown} [198; 216) 'unknow...tion()': f64 [222; 229) '&mut &c': &mut &f64 [227; 229) '&c': &f64 diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap index 80ffe6e11..c8796b29b 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap @@ -1,6 +1,6 @@ --- -created: "2019-02-18T07:03:52.524808301Z" -creator: insta@0.6.2 +created: "2019-03-02T19:54:58.498001346Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- @@ -39,8 +39,8 @@ expression: "&result" [232; 238) 'z || y': bool [237; 238) 'y': bool [242; 243) '5': i32 -[253; 254) 'd': [unknown] -[257; 258) 'b': [unknown] +[253; 254) 'd': {unknown} +[257; 258) 'b': {unknown} [268; 269) 'g': () [272; 283) 'minus_forty': isize [272; 288) 'minus_...y ^= i': () diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap index c56e6ba42..183171b02 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap @@ -1,5 +1,5 @@ --- -created: "2019-03-02T13:49:53.509955706Z" +created: "2019-03-02T19:54:58.492145019Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" @@ -7,5 +7,5 @@ expression: "&result" [59; 60) 't': T [65; 84) '{ ...d(); }': () [71; 72) 't': T -[71; 81) 't.method()': [unknown] +[71; 81) 't.method()': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap index 7791a57da..3b419d93c 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap @@ -1,5 +1,5 @@ --- -created: "2019-03-02T13:49:53.477633667Z" +created: "2019-03-02T19:54:58.495889098Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" @@ -7,5 +7,5 @@ expression: "&result" [66; 67) 't': T [72; 91) '{ ...d(); }': () [78; 79) 't': T -[78; 88) 't.method()': [unknown] +[78; 88) 't.method()': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap index a5eba3980..5382cb71a 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap @@ -1,12 +1,12 @@ --- -created: "2019-02-25T07:26:34.115351100Z" +created: "2019-03-02T19:54:58.498050919Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [95; 213) '{ ...NST; }': () -[138; 139) 'x': [unknown] -[142; 153) 'LOCAL_CONST': [unknown] +[138; 139) 'x': {unknown} +[142; 153) 'LOCAL_CONST': {unknown} [163; 164) 'z': u32 [167; 179) 'GLOBAL_CONST': u32 [189; 191) 'id': u32 diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap index c8d8e9806..6ff04bd8f 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap @@ -1,5 +1,5 @@ --- -created: "2019-03-02T13:49:53.558635265Z" +created: "2019-03-02T19:54:58.513042571Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" @@ -7,11 +7,11 @@ expression: "&result" [86; 87) 't': T [92; 94) '{}': () [105; 144) '{ ...(s); }': () -[115; 116) 's': S<[unknown]> -[119; 120) 'S': S<[unknown]>(T) -> S -[119; 129) 'S(unknown)': S<[unknown]> -[121; 128) 'unknown': [unknown] -[135; 138) 'foo': fn foo>(T) -> () +[115; 116) 's': S<{unknown}> +[119; 120) 'S': S<{unknown}>(T) -> S +[119; 129) 'S(unknown)': S<{unknown}> +[121; 128) 'unknown': {unknown} +[135; 138) 'foo': fn foo>(T) -> () [135; 141) 'foo(s)': () -[139; 140) 's': S<[unknown]> +[139; 140) 's': S<{unknown}> diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap index 37def29c3..8a0365145 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap @@ -1,5 +1,5 @@ --- -created: "2019-03-02T13:49:53.572131028Z" +created: "2019-03-02T19:54:58.520601712Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" @@ -7,12 +7,12 @@ expression: "&result" [87; 88) 't': T [98; 100) '{}': () [111; 163) '{ ...(s); }': () -[121; 122) 's': S<[unknown]> -[125; 126) 'S': S<[unknown]>(T) -> S -[125; 135) 'S(unknown)': S<[unknown]> -[127; 134) 'unknown': [unknown] +[121; 122) 's': S<{unknown}> +[125; 126) 'S': S<{unknown}>(T) -> S +[125; 135) 'S(unknown)': S<{unknown}> +[127; 134) 'unknown': {unknown} [145; 146) 'x': u32 -[154; 157) 'foo': fn foo>(T) -> U +[154; 157) 'foo': fn foo>(T) -> U [154; 160) 'foo(s)': u32 -[158; 159) 's': S<[unknown]> +[158; 159) 's': S<{unknown}> diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap index 1da46daf8..06ef0007c 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap @@ -1,8 +1,8 @@ --- -created: "2019-01-22T14:45:00.037734500+00:00" -creator: insta@0.4.0 +created: "2019-03-02T19:54:58.538812297Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" --- [9; 10) 'x': &i32 [18; 369) '{ ...o_x; }': () @@ -20,21 +20,21 @@ source: "crates\\ra_hir\\src\\ty\\tests.rs" [84; 85) '1': i32 [87; 94) '"hello"': &str [102; 152) 'for (e... }': () -[106; 112) '(e, f)': ([unknown], [unknown]) -[107; 108) 'e': [unknown] -[110; 111) 'f': [unknown] -[116; 125) 'some_iter': [unknown] +[106; 112) '(e, f)': ({unknown}, {unknown}) +[107; 108) 'e': {unknown} +[110; 111) 'f': {unknown} +[116; 125) 'some_iter': {unknown} [126; 152) '{ ... }': () -[140; 141) 'g': [unknown] -[144; 145) 'e': [unknown] +[140; 141) 'g': {unknown} +[144; 145) 'e': {unknown} [158; 205) 'if let... }': () -[165; 170) '[val]': [unknown] -[173; 176) 'opt': [unknown] +[165; 170) '[val]': {unknown} +[173; 176) 'opt': {unknown} [177; 205) '{ ... }': () -[191; 192) 'h': [unknown] -[195; 198) 'val': [unknown] -[215; 221) 'lambda': [unknown] -[224; 256) '|a: u6...b; c }': [unknown] +[191; 192) 'h': {unknown} +[195; 198) 'val': {unknown} +[215; 221) 'lambda': {unknown} +[224; 256) '|a: u6...b; c }': {unknown} [225; 226) 'a': u64 [233; 234) 'b': u64 [236; 237) 'c': i32 diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap index 6d5331799..e18815aba 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap @@ -1,5 +1,5 @@ --- -created: "2019-03-02T13:49:53.680954394Z" +created: "2019-03-02T19:54:58.534200832Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" @@ -7,6 +7,6 @@ expression: "&result" [108; 181) '{ ...ter; }': () [118; 119) 'x': i32 [145; 146) '1': i32 -[156; 157) 'y': [unknown] -[169; 178) 'no_matter': [unknown] +[156; 157) 'y': {unknown} +[169; 178) 'no_matter': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap index 5d90f56ed..e6ae195c4 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap @@ -1,14 +1,14 @@ --- -created: "2019-02-25T08:20:17.807316Z" +created: "2019-03-02T19:54:58.534478182Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [85; 280) '{ ...MUT; }': () -[173; 174) 'x': [unknown] -[177; 189) 'LOCAL_STATIC': [unknown] -[199; 200) 'y': [unknown] -[203; 219) 'LOCAL_...IC_MUT': [unknown] +[173; 174) 'x': {unknown} +[177; 189) 'LOCAL_STATIC': {unknown} +[199; 200) 'y': {unknown} +[203; 219) 'LOCAL_...IC_MUT': {unknown} [229; 230) 'z': u32 [233; 246) 'GLOBAL_STATIC': u32 [256; 257) 'w': u32 diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap index 4b99788e4..56b63cbe7 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap @@ -1,13 +1,13 @@ --- -created: "2019-02-09T16:56:24.803326529Z" -creator: insta@0.6.1 +created: "2019-03-02T19:54:58.539061212Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [54; 139) '{ ... } }': () [60; 137) 'match ... }': () -[66; 83) 'someth...nknown': Maybe<[unknown]> -[94; 124) 'Maybe:...thing)': Maybe<[unknown]> -[106; 123) 'ref mu...ething': &mut [unknown] +[66; 83) 'someth...nknown': Maybe<{unknown}> +[94; 124) 'Maybe:...thing)': Maybe<{unknown}> +[106; 123) 'ref mu...ething': &mut {unknown} [128; 130) '()': () diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap index d15b77e17..fd47f80b7 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap @@ -1,13 +1,13 @@ --- -created: "2019-02-09T18:02:37.377591660Z" -creator: insta@0.6.1 +created: "2019-03-02T19:54:58.534201681Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [18; 102) '{ ... } }': () [24; 100) 'match ... }': () -[42; 88) 'SizeSk...tail }': [unknown] -[76; 80) 'true': [unknown] -[82; 86) 'tail': [unknown] +[42; 88) 'SizeSk...tail }': {unknown} +[76; 80) 'true': {unknown} +[82; 86) 'tail': {unknown} [92; 94) '{}': () diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap index fb31883ce..14254c46a 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap @@ -1,16 +1,16 @@ --- -created: "2019-02-09T19:55:39.712470520Z" -creator: insta@0.6.1 +created: "2019-03-02T19:54:58.539815103Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [25; 110) '{ ... } }': () [31; 108) 'match ... }': () -[37; 42) '*self': [unknown] -[38; 42) 'self': [unknown] -[53; 95) 'Borrow...), ..}': [unknown] -[74; 77) 'box': [unknown] -[78; 87) 'Primitive': [unknown] -[88; 89) 'p': [unknown] +[37; 42) '*self': {unknown} +[38; 42) 'self': {unknown} +[53; 95) 'Borrow...), ..}': {unknown} +[74; 77) 'box': {unknown} +[78; 87) 'Primitive': {unknown} +[88; 89) 'p': {unknown} [99; 101) '{}': () diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap index 6bbf59fb6..27853bf1a 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap @@ -1,30 +1,30 @@ --- -created: "2019-02-09T20:28:37.294693728Z" -creator: insta@0.6.1 +created: "2019-03-02T19:54:58.546324340Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [27; 323) '{ ... } }': () [33; 321) 'for co... }': () -[37; 44) 'content': &[unknown] -[48; 61) 'doesnt_matter': [unknown] +[37; 44) 'content': &{unknown} +[48; 61) 'doesnt_matter': {unknown} [62; 321) '{ ... }': () -[76; 80) 'name': &&[unknown] -[83; 167) 'if doe... }': &&[unknown] +[76; 80) 'name': &&{unknown} +[83; 167) 'if doe... }': &&{unknown} [86; 99) 'doesnt_matter': bool -[100; 129) '{ ... }': &&[unknown] -[114; 119) 'first': &&[unknown] -[135; 167) '{ ... }': &&[unknown] -[149; 157) '&content': &&[unknown] -[150; 157) 'content': &[unknown] -[182; 189) 'content': &&[unknown] -[192; 314) 'if ICE... }': &&[unknown] -[195; 232) 'ICE_RE..._VALUE': [unknown] +[100; 129) '{ ... }': &&{unknown} +[114; 119) 'first': &&{unknown} +[135; 167) '{ ... }': &&{unknown} +[149; 157) '&content': &&{unknown} +[150; 157) 'content': &{unknown} +[182; 189) 'content': &&{unknown} +[192; 314) 'if ICE... }': &&{unknown} +[195; 232) 'ICE_RE..._VALUE': {unknown} [195; 248) 'ICE_RE...&name)': bool -[242; 247) '&name': &&&[unknown] -[243; 247) 'name': &&[unknown] -[249; 277) '{ ... }': &&[unknown] -[263; 267) 'name': &&[unknown] -[283; 314) '{ ... }': &[unknown] -[297; 304) 'content': &[unknown] +[242; 247) '&name': &&&{unknown} +[243; 247) 'name': &&{unknown} +[249; 277) '{ ... }': &&{unknown} +[263; 267) 'name': &&{unknown} +[283; 314) '{ ... }': &{unknown} +[297; 304) 'content': &{unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap index c09e1cf44..b36d0ecda 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap @@ -1,17 +1,17 @@ --- -created: "2019-03-02T13:49:53.756157395Z" +created: "2019-03-02T19:54:58.553776959Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- [87; 193) '{ ...t(); }': () [97; 99) 's1': S -[105; 121) 'Defaul...efault': [unknown] +[105; 121) 'Defaul...efault': {unknown} [105; 123) 'Defaul...ault()': S -[133; 135) 's2': [unknown] -[138; 148) 'S::default': [unknown] -[138; 150) 'S::default()': [unknown] -[160; 162) 's3': [unknown] -[165; 188) '(T) -> S [108; 115) 'S(1u32)': S -[108; 124) 'S(1u32...thod()': [unknown] +[108; 124) 'S(1u32...thod()': {unknown} [110; 114) '1u32': u32 diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap index f2cce656d..d53ae14fc 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap @@ -1,15 +1,15 @@ --- -created: "2019-03-02T15:41:07.568155273Z" +created: "2019-03-02T19:54:58.562251445Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- -[63; 67) 'self': &[unknown] -[169; 173) 'self': &[unknown] +[63; 67) 'self': &{unknown} +[169; 173) 'self': &{unknown} [300; 337) '{ ... }': () [310; 311) 'S': S -[310; 320) 'S.method()': [unknown] +[310; 320) 'S.method()': {unknown} [416; 454) '{ ... }': () [426; 427) 'S': S -[426; 436) 'S.method()': [unknown] +[426; 436) 'S.method()': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap index 22e83722d..ff1c483f1 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap @@ -1,14 +1,14 @@ --- -created: "2019-03-02T15:41:07.562949721Z" +created: "2019-03-02T19:54:58.558393608Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- -[31; 35) 'self': &[unknown] -[110; 114) 'self': &[unknown] +[31; 35) 'self': &{unknown} +[110; 114) 'self': &{unknown} [170; 228) '{ ...i128 }': () [176; 178) 'S1': S1 -[176; 187) 'S1.method()': [unknown] +[176; 187) 'S1.method()': {unknown} [203; 205) 'S2': S2 -[203; 214) 'S2.method()': [unknown] +[203; 214) 'S2.method()': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap index 783795cfd..5246794fe 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap @@ -1,6 +1,6 @@ --- -created: "2019-02-20T21:31:12.911275141Z" -creator: insta@0.6.2 +created: "2019-03-02T19:54:58.566211313Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- @@ -17,7 +17,7 @@ expression: "&result" [124; 136) 'Option::Some': Some<&str>(T) -> Option [124; 141) 'Option...e("x")': Option<&str> [137; 140) '"x"': &str -[147; 151) 'None': Option<[unknown]> +[147; 151) 'None': Option<{unknown}> [161; 162) 'x': Option [178; 182) 'None': Option diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap index 5021d0eeb..ce0d3c60d 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap @@ -1,8 +1,8 @@ --- -created: "2019-01-28T14:51:16.185273502+00:00" -creator: insta@0.5.2 -expression: "&result" +created: "2019-03-02T19:54:58.571163594Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs +expression: "&result" --- [27; 28) 'x': SomeType [40; 272) '{ ...lo"; }': () @@ -37,12 +37,12 @@ source: crates/ra_hir/src/ty/tests.rs [213; 217) '3.14': f64 [223; 225) '!3': i32 [224; 225) '3': i32 -[231; 233) '-x': [unknown] +[231; 233) '-x': {unknown} [232; 233) 'x': SomeType -[239; 241) '!x': [unknown] +[239; 241) '!x': {unknown} [240; 241) 'x': SomeType -[247; 255) '-"hello"': [unknown] +[247; 255) '-"hello"': {unknown} [248; 255) '"hello"': &str -[261; 269) '!"hello"': [unknown] +[261; 269) '!"hello"': {unknown} [262; 269) '"hello"': &str diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap index 82c8bae58..a7704ecce 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap @@ -1,10 +1,10 @@ --- -created: "2019-03-02T13:49:53.860659428Z" +created: "2019-03-02T19:54:58.573565546Z" creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs expression: "&result" --- -[29; 33) 'self': [unknown] +[29; 33) 'self': {unknown} [107; 198) '{ ...(S); }': () [117; 118) 'x': u32 [126; 127) 'S': S @@ -12,8 +12,8 @@ expression: "&result" [144; 145) 'y': u64 [153; 154) 'S': S [153; 161) 'S.into()': u64 -[171; 172) 'z': [unknown] -[175; 192) 'Into::...::into': [unknown] -[175; 195) 'Into::...nto(S)': [unknown] +[171; 172) 'z': {unknown} +[175; 192) 'Into::...::into': {unknown} +[175; 195) 'Into::...nto(S)': {unknown} [193; 194) 'S': S diff --git a/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap index b6f404b4c..cf0dc719e 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap @@ -1,11 +1,11 @@ --- -created: "2019-01-22T14:45:00.058678600+00:00" -creator: insta@0.4.0 +created: "2019-03-02T19:54:58.571647281Z" +creator: insta@0.6.3 +source: crates/ra_hir/src/ty/tests.rs expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" --- [20; 21) 'x': X [26; 47) '{ ...eld; }': () [32; 33) 'x': X -[32; 44) 'x.some_field': [unknown] +[32; 44) 'x.some_field': {unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap index c3227ff7e..1a4388b50 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap @@ -1,14 +1,14 @@ --- -created: "2019-01-26T22:42:22.329980185+00:00" -creator: insta@0.5.2 -expression: "&result" +created: "2019-03-02T19:54:58.571823250Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs +expression: "&result" --- [11; 48) '{ ...&y]; }': () -[21; 22) 'y': &[unknown] -[25; 32) 'unknown': &[unknown] -[38; 45) '[y, &y]': [&&[unknown]] -[39; 40) 'y': &[unknown] -[42; 44) '&y': &&[unknown] -[43; 44) 'y': &[unknown] +[21; 22) 'y': &{unknown} +[25; 32) 'unknown': &{unknown} +[38; 45) '[y, &y]': [&&{unknown}] +[39; 40) 'y': &{unknown} +[42; 44) '&y': &&{unknown} +[43; 44) 'y': &{unknown} diff --git a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap index de124da5b..444644639 100644 --- a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap +++ b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap @@ -1,21 +1,21 @@ --- -created: "2019-01-26T22:42:22.331805845+00:00" -creator: insta@0.5.2 -expression: "&result" +created: "2019-03-02T19:54:58.575200890Z" +creator: insta@0.6.3 source: crates/ra_hir/src/ty/tests.rs +expression: "&result" --- [11; 80) '{ ...x)]; }': () -[21; 22) 'x': &&[unknown] -[25; 32) 'unknown': &&[unknown] -[42; 43) 'y': &&[unknown] -[46; 53) 'unknown': &&[unknown] -[59; 77) '[(x, y..., &x)]': [(&&[unknown], &&[unknown])] -[60; 66) '(x, y)': (&&[unknown], &&[unknown]) -[61; 62) 'x': &&[unknown] -[64; 65) 'y': &&[unknown] -[68; 76) '(&y, &x)': (&&&[unknown], &&&[unknown]) -[69; 71) '&y': &&&[unknown] -[70; 71) 'y': &&[unknown] -[73; 75) '&x': &&&[unknown] -[74; 75) 'x': &&[unknown] +[21; 22) 'x': &&{unknown} +[25; 32) 'unknown': &&{unknown} +[42; 43) 'y': &&{unknown} +[46; 53) 'unknown': &&{unknown} +[59; 77) '[(x, y..., &x)]': [(&&{unknown}, &&{unknown})] +[60; 66) '(x, y)': (&&{unknown}, &&{unknown}) +[61; 62) 'x': &&{unknown} +[64; 65) 'y': &&{unknown} +[68; 76) '(&y, &x)': (&&&{unknown}, &&&{unknown}) +[69; 71) '&y': &&&{unknown} +[70; 71) 'y': &&{unknown} +[73; 75) '&x': &&&{unknown} +[74; 75) 'x': &&{unknown} -- cgit v1.2.3 From 2e8f25884584ec7dd21bdd4be1bcf1c857efa35e Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Sun, 3 Mar 2019 12:40:36 +0100 Subject: Inline type inference test snapshots --- crates/ra_hir/src/ty/snapshots/tests__bug_484.snap | 12 ---- crates/ra_hir/src/ty/snapshots/tests__bug_585.snap | 15 ----- crates/ra_hir/src/ty/snapshots/tests__bug_651.snap | 13 ----- .../src/ty/snapshots/tests__infer_adt_pattern.snap | 32 ----------- .../src/ty/snapshots/tests__infer_array.snap | 65 ---------------------- .../snapshots/tests__infer_associated_const.snap | 14 ----- .../tests__infer_associated_method_enum.snap | 20 ------- .../tests__infer_associated_method_generics.snap | 16 ------ .../tests__infer_associated_method_struct.snap | 16 ------ ...ests__infer_associated_method_with_modules.snap | 23 -------- .../tests__infer_associated_type_bound.snap | 10 ---- .../src/ty/snapshots/tests__infer_backwards.snap | 27 --------- .../src/ty/snapshots/tests__infer_basics.snap | 20 ------- .../src/ty/snapshots/tests__infer_binary_op.snap | 57 ------------------- ...infer_call_trait_method_on_generic_param_1.snap | 11 ---- ...infer_call_trait_method_on_generic_param_2.snap | 11 ---- .../src/ty/snapshots/tests__infer_const.snap | 14 ----- .../ra_hir/src/ty/snapshots/tests__infer_enum.snap | 11 ---- .../ty/snapshots/tests__infer_field_autoderef.snap | 50 ----------------- .../ty/snapshots/tests__infer_from_bound_1.snap | 17 ------ .../ty/snapshots/tests__infer_from_bound_2.snap | 18 ------ .../snapshots/tests__infer_function_generics.snap | 21 ------- .../ty/snapshots/tests__infer_generic_chain.snap | 36 ------------ .../tests__infer_generics_in_patterns.snap | 24 -------- .../ty/snapshots/tests__infer_impl_generics.snap | 39 ------------- .../tests__infer_impl_generics_with_autoderef.snap | 16 ------ .../src/ty/snapshots/tests__infer_in_elseif.snap | 17 ------ .../ty/snapshots/tests__infer_inherent_method.snap | 25 --------- .../ra_hir/src/ty/snapshots/tests__infer_let.snap | 14 ----- .../src/ty/snapshots/tests__infer_literals.snap | 19 ------- .../tests__infer_nested_generics_crash.snap | 12 ---- .../src/ty/snapshots/tests__infer_paths.snap | 16 ------ .../src/ty/snapshots/tests__infer_pattern.snap | 54 ------------------ .../tests__infer_project_associated_type.snap | 12 ---- .../ra_hir/src/ty/snapshots/tests__infer_refs.snap | 30 ---------- .../ra_hir/src/ty/snapshots/tests__infer_self.snap | 17 ------ .../src/ty/snapshots/tests__infer_static.snap | 16 ------ .../src/ty/snapshots/tests__infer_std_crash_1.snap | 13 ----- .../src/ty/snapshots/tests__infer_std_crash_2.snap | 14 ----- .../src/ty/snapshots/tests__infer_std_crash_3.snap | 13 ----- .../src/ty/snapshots/tests__infer_std_crash_4.snap | 16 ------ .../src/ty/snapshots/tests__infer_std_crash_5.snap | 30 ---------- .../src/ty/snapshots/tests__infer_struct.snap | 23 -------- .../ty/snapshots/tests__infer_struct_generics.snap | 22 -------- .../snapshots/tests__infer_trait_assoc_method.snap | 17 ------ .../tests__infer_trait_method_generic_1.snap | 11 ---- .../tests__infer_trait_method_generic_2.snap | 13 ----- .../tests__infer_trait_method_scoped.snap | 15 ----- .../tests__infer_trait_method_simple.snap | 14 ----- .../src/ty/snapshots/tests__infer_tuple.snap | 34 ----------- .../tests__infer_tuple_struct_generics.snap | 23 -------- .../src/ty/snapshots/tests__infer_type_alias.snap | 23 -------- .../src/ty/snapshots/tests__infer_type_param.snap | 26 --------- .../src/ty/snapshots/tests__infer_unary_op.snap | 48 ---------------- .../tests__infer_with_multiple_trait_impls.snap | 19 ------- .../tests__no_panic_on_field_of_enum.snap | 11 ---- .../src/ty/snapshots/tests__recursive_vars.snap | 14 ----- .../src/ty/snapshots/tests__recursive_vars_2.snap | 21 ------- 58 files changed, 1260 deletions(-) delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__bug_484.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__bug_585.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__bug_651.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_array.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_const.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_let.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_self.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_static.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_generic_1.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_generic_2.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap delete mode 100644 crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap (limited to 'crates/ra_hir/src/ty/snapshots') diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_484.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_484.snap deleted file mode 100644 index 28f57623d..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__bug_484.snap +++ /dev/null @@ -1,12 +0,0 @@ ---- -created: "2019-01-22T14:44:59.880187500+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[11; 37) '{ l... {}; }': () -[20; 21) 'x': () -[24; 34) 'if true {}': () -[27; 31) 'true': bool -[32; 34) '{}': () - diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap deleted file mode 100644 index 4b5630bb6..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__bug_585.snap +++ /dev/null @@ -1,15 +0,0 @@ ---- -created: "2019-03-02T19:54:58.488684667Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[11; 89) '{ ... } }': () -[17; 21) 'X {}': {unknown} -[27; 87) 'match ... }': () -[33; 34) 'x': {unknown} -[45; 52) 'A::B {}': {unknown} -[56; 58) '()': () -[68; 74) 'A::Y()': {unknown} -[78; 80) '()': () - diff --git a/crates/ra_hir/src/ty/snapshots/tests__bug_651.snap b/crates/ra_hir/src/ty/snapshots/tests__bug_651.snap deleted file mode 100644 index d23d3f139..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__bug_651.snap +++ /dev/null @@ -1,13 +0,0 @@ ---- -created: "2019-01-25T20:31:47.275112244+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[11; 41) '{ ...+ y; }': () -[21; 22) 'y': i32 -[25; 27) '92': i32 -[33; 34) '1': i32 -[33; 38) '1 + y': i32 -[37; 38) 'y': i32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap deleted file mode 100644 index 48c83cbb2..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_adt_pattern.snap +++ /dev/null @@ -1,32 +0,0 @@ ---- -created: "2019-01-28T21:58:55.559331849+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[68; 289) '{ ... d; }': () -[78; 79) 'e': E -[82; 95) 'E::A { x: 3 }': E -[92; 93) '3': usize -[106; 113) 'S(y, z)': S -[108; 109) 'y': u32 -[111; 112) 'z': E -[116; 119) 'foo': S -[129; 148) 'E::A {..._var }': E -[139; 146) 'new_var': usize -[151; 152) 'e': E -[159; 245) 'match ... }': usize -[165; 166) 'e': E -[177; 187) 'E::A { x }': E -[184; 185) 'x': usize -[191; 192) 'x': usize -[202; 206) 'E::B': E -[210; 213) 'foo': bool -[217; 218) '1': usize -[228; 232) 'E::B': E -[236; 238) '10': usize -[256; 275) 'ref d ...{ .. }': &E -[264; 275) 'E::A { .. }': E -[278; 279) 'e': E -[285; 286) 'd': &E - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_array.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_array.snap deleted file mode 100644 index 042248c35..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_array.snap +++ /dev/null @@ -1,65 +0,0 @@ ---- -created: "2019-01-30T20:08:05.185312835+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[9; 10) 'x': &str -[18; 19) 'y': isize -[28; 324) '{ ... 3]; }': () -[38; 39) 'a': [&str] -[42; 45) '[x]': [&str] -[43; 44) 'x': &str -[55; 56) 'b': [[&str]] -[59; 65) '[a, a]': [[&str]] -[60; 61) 'a': [&str] -[63; 64) 'a': [&str] -[75; 76) 'c': [[[&str]]] -[79; 85) '[b, b]': [[[&str]]] -[80; 81) 'b': [[&str]] -[83; 84) 'b': [[&str]] -[96; 97) 'd': [isize] -[100; 112) '[y, 1, 2, 3]': [isize] -[101; 102) 'y': isize -[104; 105) '1': isize -[107; 108) '2': isize -[110; 111) '3': isize -[122; 123) 'd': [isize] -[126; 138) '[1, y, 2, 3]': [isize] -[127; 128) '1': isize -[130; 131) 'y': isize -[133; 134) '2': isize -[136; 137) '3': isize -[148; 149) 'e': [isize] -[152; 155) '[y]': [isize] -[153; 154) 'y': isize -[165; 166) 'f': [[isize]] -[169; 175) '[d, d]': [[isize]] -[170; 171) 'd': [isize] -[173; 174) 'd': [isize] -[185; 186) 'g': [[isize]] -[189; 195) '[e, e]': [[isize]] -[190; 191) 'e': [isize] -[193; 194) 'e': [isize] -[206; 207) 'h': [i32] -[210; 216) '[1, 2]': [i32] -[211; 212) '1': i32 -[214; 215) '2': i32 -[226; 227) 'i': [&str] -[230; 240) '["a", "b"]': [&str] -[231; 234) '"a"': &str -[236; 239) '"b"': &str -[251; 252) 'b': [[&str]] -[255; 265) '[a, ["b"]]': [[&str]] -[256; 257) 'a': [&str] -[259; 264) '["b"]': [&str] -[260; 263) '"b"': &str -[275; 276) 'x': [u8] -[288; 290) '[]': [u8] -[300; 301) 'z': &[u8] -[311; 321) '&[1, 2, 3]': &[u8] -[312; 321) '[1, 2, 3]': [u8] -[313; 314) '1': u8 -[316; 317) '2': u8 -[319; 320) '3': u8 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap deleted file mode 100644 index 51f3fd4c0..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_const.snap +++ /dev/null @@ -1,14 +0,0 @@ ---- -created: "2019-02-25T08:36:33.885804400Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[227; 305) '{ ...:ID; }': () -[237; 238) 'x': u32 -[241; 252) 'Struct::FOO': u32 -[262; 263) 'y': u32 -[266; 275) 'Enum::BAR': u32 -[285; 286) 'z': u32 -[289; 302) 'TraitTest::ID': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap deleted file mode 100644 index 8f27af88c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_enum.snap +++ /dev/null @@ -1,20 +0,0 @@ ---- -created: "2019-02-20T11:04:56.553382800Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[48; 68) '{ ... }': A -[58; 62) 'A::B': A -[89; 109) '{ ... }': A -[99; 103) 'A::C': A -[122; 179) '{ ... c; }': () -[132; 133) 'a': A -[136; 140) 'A::b': fn b() -> A -[136; 142) 'A::b()': A -[148; 149) 'a': A -[159; 160) 'c': A -[163; 167) 'A::c': fn c() -> A -[163; 169) 'A::c()': A -[175; 176) 'c': A - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap deleted file mode 100644 index 44694dfdb..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_generics.snap +++ /dev/null @@ -1,16 +0,0 @@ ---- -created: "2019-02-23T21:58:35.844769207Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[64; 67) 'val': T -[82; 109) '{ ... }': Gen -[92; 103) 'Gen { val }': Gen -[98; 101) 'val': T -[123; 155) '{ ...32); }': () -[133; 134) 'a': Gen -[137; 146) 'Gen::make': fn make(T) -> Gen -[137; 152) 'Gen::make(0u32)': Gen -[147; 151) '0u32': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap deleted file mode 100644 index 29ca9b0ea..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_struct.snap +++ /dev/null @@ -1,16 +0,0 @@ ---- -created: "2019-02-20T11:04:56.553382800Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[50; 76) '{ ... }': A -[60; 70) 'A { x: 0 }': A -[67; 68) '0': u32 -[89; 123) '{ ...a.x; }': () -[99; 100) 'a': A -[103; 109) 'A::new': fn new() -> A -[103; 111) 'A::new()': A -[117; 118) 'a': A -[117; 120) 'a.x': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap deleted file mode 100644 index 6584bef39..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_method_with_modules.snap +++ /dev/null @@ -1,23 +0,0 @@ ---- -created: "2019-02-21T08:55:53.926725400Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[56; 64) '{ A {} }': A -[58; 62) 'A {}': A -[126; 132) '{ 99 }': u32 -[128; 130) '99': u32 -[202; 210) '{ C {} }': C -[204; 208) 'C {}': C -[241; 325) '{ ...g(); }': () -[251; 252) 'x': A -[255; 266) 'a::A::thing': fn thing() -> A -[255; 268) 'a::A::thing()': A -[278; 279) 'y': u32 -[282; 293) 'b::B::thing': fn thing() -> u32 -[282; 295) 'b::B::thing()': u32 -[305; 306) 'z': C -[309; 320) 'c::C::thing': fn thing() -> C -[309; 322) 'c::C::thing()': C - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap deleted file mode 100644 index c9ec055f2..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_associated_type_bound.snap +++ /dev/null @@ -1,10 +0,0 @@ ---- -created: "2019-03-02T19:54:58.491748649Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[67; 100) '{ ...own; }': () -[77; 78) 'y': {unknown} -[90; 97) 'unknown': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap deleted file mode 100644 index 7d6091f6c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_backwards.snap +++ /dev/null @@ -1,27 +0,0 @@ ---- -created: "2019-03-02T19:54:58.494864698Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[14; 15) 'x': u32 -[22; 24) '{}': () -[78; 231) '{ ...t &c }': &mut &f64 -[88; 89) 'a': u32 -[92; 108) 'unknow...nction': {unknown} -[92; 110) 'unknow...tion()': u32 -[116; 125) 'takes_u32': fn takes_u32(u32) -> () -[116; 128) 'takes_u32(a)': () -[126; 127) 'a': u32 -[138; 139) 'b': i32 -[142; 158) 'unknow...nction': {unknown} -[142; 160) 'unknow...tion()': i32 -[166; 184) 'S { i3...d: b }': S -[181; 182) 'b': i32 -[194; 195) 'c': f64 -[198; 214) 'unknow...nction': {unknown} -[198; 216) 'unknow...tion()': f64 -[222; 229) '&mut &c': &mut &f64 -[227; 229) '&c': &f64 -[228; 229) 'c': f64 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap deleted file mode 100644 index 4b0863558..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_basics.snap +++ /dev/null @@ -1,20 +0,0 @@ ---- -created: "2019-01-22T14:44:59.880187500+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[9; 10) 'a': u32 -[17; 18) 'b': isize -[27; 28) 'c': ! -[33; 34) 'd': &str -[42; 121) '{ ...f32; }': () -[48; 49) 'a': u32 -[55; 56) 'b': isize -[62; 63) 'c': ! -[69; 70) 'd': &str -[76; 82) '1usize': usize -[88; 94) '1isize': isize -[100; 106) '"test"': &str -[112; 118) '1.0f32': f32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap deleted file mode 100644 index c8796b29b..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_binary_op.snap +++ /dev/null @@ -1,57 +0,0 @@ ---- -created: "2019-03-02T19:54:58.498001346Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[6; 7) 'x': bool -[22; 34) '{ 0i32 }': i32 -[28; 32) '0i32': i32 -[54; 370) '{ ... < 3 }': bool -[64; 65) 'x': bool -[68; 69) 'a': bool -[68; 74) 'a && b': bool -[73; 74) 'b': bool -[84; 85) 'y': bool -[88; 92) 'true': bool -[88; 101) 'true || false': bool -[96; 101) 'false': bool -[111; 112) 'z': bool -[115; 116) 'x': bool -[115; 121) 'x == y': bool -[120; 121) 'y': bool -[131; 132) 't': bool -[135; 136) 'x': bool -[135; 141) 'x != y': bool -[140; 141) 'y': bool -[151; 162) 'minus_forty': isize -[172; 180) '-40isize': isize -[173; 180) '40isize': isize -[190; 191) 'h': bool -[194; 205) 'minus_forty': isize -[194; 216) 'minus_...ONST_2': bool -[209; 216) 'CONST_2': isize -[226; 227) 'c': i32 -[230; 231) 'f': fn f(bool) -> i32 -[230; 239) 'f(z || y)': i32 -[230; 243) 'f(z || y) + 5': i32 -[232; 233) 'z': bool -[232; 238) 'z || y': bool -[237; 238) 'y': bool -[242; 243) '5': i32 -[253; 254) 'd': {unknown} -[257; 258) 'b': {unknown} -[268; 269) 'g': () -[272; 283) 'minus_forty': isize -[272; 288) 'minus_...y ^= i': () -[287; 288) 'i': isize -[298; 301) 'ten': usize -[311; 313) '10': usize -[323; 336) 'ten_is_eleven': bool -[339; 342) 'ten': usize -[339; 354) 'ten == some_num': bool -[346; 354) 'some_num': usize -[361; 364) 'ten': usize -[361; 368) 'ten < 3': bool -[367; 368) '3': usize - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap deleted file mode 100644 index 183171b02..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_1.snap +++ /dev/null @@ -1,11 +0,0 @@ ---- -created: "2019-03-02T19:54:58.492145019Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[59; 60) 't': T -[65; 84) '{ ...d(); }': () -[71; 72) 't': T -[71; 81) 't.method()': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap deleted file mode 100644 index 3b419d93c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_call_trait_method_on_generic_param_2.snap +++ /dev/null @@ -1,11 +0,0 @@ ---- -created: "2019-03-02T19:54:58.495889098Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[66; 67) 't': T -[72; 91) '{ ...d(); }': () -[78; 79) 't': T -[78; 88) 't.method()': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap deleted file mode 100644 index 5382cb71a..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_const.snap +++ /dev/null @@ -1,14 +0,0 @@ ---- -created: "2019-03-02T19:54:58.498050919Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[95; 213) '{ ...NST; }': () -[138; 139) 'x': {unknown} -[142; 153) 'LOCAL_CONST': {unknown} -[163; 164) 'z': u32 -[167; 179) 'GLOBAL_CONST': u32 -[189; 191) 'id': u32 -[194; 210) 'Foo::A..._CONST': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap deleted file mode 100644 index bc8b84272..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_enum.snap +++ /dev/null @@ -1,11 +0,0 @@ ---- -created: "2019-01-22T14:44:59.880187500+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[48; 82) '{ E:...:V2; }': () -[52; 70) 'E::V1 ...d: 1 }': E -[67; 68) '1': u32 -[74; 79) 'E::V2': E - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap deleted file mode 100644 index f092fd319..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_field_autoderef.snap +++ /dev/null @@ -1,50 +0,0 @@ ---- -created: "2019-01-22T14:44:59.955954900+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[44; 45) 'a': A -[50; 213) '{ ...5.b; }': () -[60; 62) 'a1': A -[65; 66) 'a': A -[72; 74) 'a1': A -[72; 76) 'a1.b': B -[86; 88) 'a2': &A -[91; 93) '&a': &A -[92; 93) 'a': A -[99; 101) 'a2': &A -[99; 103) 'a2.b': B -[113; 115) 'a3': &mut A -[118; 124) '&mut a': &mut A -[123; 124) 'a': A -[130; 132) 'a3': &mut A -[130; 134) 'a3.b': B -[144; 146) 'a4': &&&&&&&A -[149; 157) '&&&&&&&a': &&&&&&&A -[150; 157) '&&&&&&a': &&&&&&A -[151; 157) '&&&&&a': &&&&&A -[152; 157) '&&&&a': &&&&A -[153; 157) '&&&a': &&&A -[154; 157) '&&a': &&A -[155; 157) '&a': &A -[156; 157) 'a': A -[163; 165) 'a4': &&&&&&&A -[163; 167) 'a4.b': B -[177; 179) 'a5': &mut &&mut &&mut A -[182; 200) '&mut &...&mut a': &mut &&mut &&mut A -[187; 200) '&&mut &&mut a': &&mut &&mut A -[188; 200) '&mut &&mut a': &mut &&mut A -[193; 200) '&&mut a': &&mut A -[194; 200) '&mut a': &mut A -[199; 200) 'a': A -[206; 208) 'a5': &mut &&mut &&mut A -[206; 210) 'a5.b': B -[224; 226) 'a1': *const A -[238; 240) 'a2': *mut A -[250; 273) '{ ...2.b; }': () -[256; 258) 'a1': *const A -[256; 260) 'a1.b': B -[266; 268) 'a2': *mut A -[266; 270) 'a2.b': B - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap deleted file mode 100644 index 6ff04bd8f..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_1.snap +++ /dev/null @@ -1,17 +0,0 @@ ---- -created: "2019-03-02T19:54:58.513042571Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[86; 87) 't': T -[92; 94) '{}': () -[105; 144) '{ ...(s); }': () -[115; 116) 's': S<{unknown}> -[119; 120) 'S': S<{unknown}>(T) -> S -[119; 129) 'S(unknown)': S<{unknown}> -[121; 128) 'unknown': {unknown} -[135; 138) 'foo': fn foo>(T) -> () -[135; 141) 'foo(s)': () -[139; 140) 's': S<{unknown}> - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap deleted file mode 100644 index 8a0365145..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_from_bound_2.snap +++ /dev/null @@ -1,18 +0,0 @@ ---- -created: "2019-03-02T19:54:58.520601712Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[87; 88) 't': T -[98; 100) '{}': () -[111; 163) '{ ...(s); }': () -[121; 122) 's': S<{unknown}> -[125; 126) 'S': S<{unknown}>(T) -> S -[125; 135) 'S(unknown)': S<{unknown}> -[127; 134) 'unknown': {unknown} -[145; 146) 'x': u32 -[154; 157) 'foo': fn foo>(T) -> U -[154; 160) 'foo(s)': u32 -[158; 159) 's': S<{unknown}> - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap deleted file mode 100644 index 91c48897c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_function_generics.snap +++ /dev/null @@ -1,21 +0,0 @@ ---- -created: "2019-01-27T14:52:29.934503829+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[10; 11) 't': T -[21; 26) '{ t }': T -[23; 24) 't': T -[38; 98) '{ ...(1); }': () -[44; 46) 'id': fn id(T) -> T -[44; 52) 'id(1u32)': u32 -[47; 51) '1u32': u32 -[58; 68) 'id::': fn id(T) -> T -[58; 71) 'id::(1)': i128 -[69; 70) '1': i128 -[81; 82) 'x': u64 -[90; 92) 'id': fn id(T) -> T -[90; 95) 'id(1)': u64 -[93; 94) '1': u64 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap deleted file mode 100644 index d1ce87b0a..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_generic_chain.snap +++ /dev/null @@ -1,36 +0,0 @@ ---- -created: "2019-02-16T20:53:59.655361804Z" -creator: insta@0.6.2 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[53; 57) 'self': A -[65; 87) '{ ... }': T2 -[75; 79) 'self': A -[75; 81) 'self.x': T2 -[99; 100) 't': T -[110; 115) '{ t }': T -[112; 113) 't': T -[135; 261) '{ ....x() }': i128 -[146; 147) 'x': i128 -[150; 151) '1': i128 -[162; 163) 'y': i128 -[166; 168) 'id': fn id(T) -> T -[166; 171) 'id(x)': i128 -[169; 170) 'x': i128 -[182; 183) 'a': A -[186; 200) 'A { x: id(y) }': A -[193; 195) 'id': fn id(T) -> T -[193; 198) 'id(y)': i128 -[196; 197) 'y': i128 -[211; 212) 'z': i128 -[215; 217) 'id': fn id(T) -> T -[215; 222) 'id(a.x)': i128 -[218; 219) 'a': A -[218; 221) 'a.x': i128 -[233; 234) 'b': A -[237; 247) 'A { x: z }': A -[244; 245) 'z': i128 -[254; 255) 'b': A -[254; 259) 'b.x()': i128 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap deleted file mode 100644 index fae7ab0dd..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_generics_in_patterns.snap +++ /dev/null @@ -1,24 +0,0 @@ ---- -created: "2019-01-22T14:44:59.970913200+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[79; 81) 'a1': A -[91; 92) 'o': Option -[107; 244) '{ ... }; }': () -[117; 128) 'A { x: x2 }': A -[124; 126) 'x2': u32 -[131; 133) 'a1': A -[143; 161) 'A:: -[157; 159) 'x3': i64 -[164; 174) 'A { x: 1 }': A -[171; 172) '1': i64 -[180; 241) 'match ... }': u64 -[186; 187) 'o': Option -[198; 213) 'Option::Some(t)': Option -[211; 212) 't': u64 -[217; 218) 't': u64 -[228; 229) '_': Option -[233; 234) '1': u64 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap deleted file mode 100644 index 44f00a52e..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics.snap +++ /dev/null @@ -1,39 +0,0 @@ ---- -created: "2019-02-16T21:58:14.029368845Z" -creator: insta@0.6.2 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[74; 78) 'self': A -[85; 107) '{ ... }': X -[95; 99) 'self': A -[95; 101) 'self.x': X -[117; 121) 'self': A -[128; 150) '{ ... }': Y -[138; 142) 'self': A -[138; 144) 'self.y': Y -[163; 167) 'self': A -[169; 170) 't': T -[188; 223) '{ ... }': (X, Y, T) -[198; 217) '(self.....y, t)': (X, Y, T) -[199; 203) 'self': A -[199; 205) 'self.x': X -[207; 211) 'self': A -[207; 213) 'self.y': Y -[215; 216) 't': T -[245; 342) '{ ...(1); }': () -[255; 256) 'a': A -[259; 281) 'A { x:...1i64 }': A -[266; 270) '1u64': u64 -[275; 279) '1i64': i64 -[287; 288) 'a': A -[287; 292) 'a.x()': u64 -[298; 299) 'a': A -[298; 303) 'a.y()': i64 -[309; 310) 'a': A -[309; 319) 'a.z(1i128)': (u64, i64, i128) -[313; 318) '1i128': i128 -[325; 326) 'a': A -[325; 339) 'a.z::(1)': (u64, i64, u128) -[337; 338) '1': u128 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap deleted file mode 100644 index f609eaf7c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_impl_generics_with_autoderef.snap +++ /dev/null @@ -1,16 +0,0 @@ ---- -created: "2019-02-17T13:35:06.385679926Z" -creator: insta@0.6.2 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[78; 82) 'self': &Option -[98; 100) '{}': () -[111; 112) 'o': Option -[127; 165) '{ ...f(); }': () -[133; 146) '(&o).as_ref()': Option<&u32> -[134; 136) '&o': &Option -[135; 136) 'o': Option -[152; 153) 'o': Option -[152; 162) 'o.as_ref()': Option<&u32> - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap deleted file mode 100644 index 6a435e5cf..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_in_elseif.snap +++ /dev/null @@ -1,17 +0,0 @@ ---- -created: "2019-01-26T21:36:52.714121185+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[35; 38) 'foo': Foo -[45; 109) '{ ... } }': () -[51; 107) 'if tru... }': () -[54; 58) 'true': bool -[59; 67) '{ }': () -[73; 107) 'if fal... }': i32 -[76; 81) 'false': bool -[82; 107) '{ ... }': i32 -[92; 95) 'foo': Foo -[92; 101) 'foo.field': i32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap deleted file mode 100644 index b3c706aca..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_inherent_method.snap +++ /dev/null @@ -1,25 +0,0 @@ ---- -created: "2019-01-22T14:44:59.968918800+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[32; 36) 'self': A -[38; 39) 'x': u32 -[53; 55) '{}': () -[103; 107) 'self': &A -[109; 110) 'x': u64 -[124; 126) '{}': () -[144; 145) 'a': A -[150; 198) '{ ...(1); }': () -[156; 157) 'a': A -[156; 164) 'a.foo(1)': i32 -[162; 163) '1': u32 -[170; 181) '(&a).bar(1)': i64 -[171; 173) '&a': &A -[172; 173) 'a': A -[179; 180) '1': u64 -[187; 188) 'a': A -[187; 195) 'a.bar(1)': i64 -[193; 194) '1': u64 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_let.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_let.snap deleted file mode 100644 index 0d085071a..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_let.snap +++ /dev/null @@ -1,14 +0,0 @@ ---- -created: "2019-01-22T14:44:59.963931700+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[11; 71) '{ ...= b; }': () -[21; 22) 'a': isize -[25; 31) '1isize': isize -[41; 42) 'b': usize -[52; 53) '1': usize -[63; 64) 'c': usize -[67; 68) 'b': usize - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap deleted file mode 100644 index e287a100e..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_literals.snap +++ /dev/null @@ -1,19 +0,0 @@ ---- -created: "2019-01-22T14:44:59.974903100+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[11; 201) '{ ...o"#; }': () -[17; 21) '5i32': i32 -[27; 34) '"hello"': &str -[40; 48) 'b"bytes"': &[u8] -[54; 57) ''c'': char -[63; 67) 'b'b'': u8 -[73; 77) '3.14': f64 -[83; 87) '5000': i32 -[93; 98) 'false': bool -[104; 108) 'true': bool -[114; 182) 'r#" ... "#': &str -[188; 198) 'br#"yolo"#': &[u8] - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap deleted file mode 100644 index 209454a91..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_nested_generics_crash.snap +++ /dev/null @@ -1,12 +0,0 @@ ---- -created: "2019-02-11T21:59:04.302375838Z" -creator: insta@0.6.1 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[92; 106) 'query_response': Canonical> -[137; 167) '{ ...lue; }': () -[143; 164) '&query....value': &QueryResponse -[144; 158) 'query_response': Canonical> -[144; 164) 'query_....value': QueryResponse - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap deleted file mode 100644 index afbe2f747..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_paths.snap +++ /dev/null @@ -1,16 +0,0 @@ ---- -created: "2019-01-26T17:46:03.928773630+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[15; 20) '{ 1 }': u32 -[17; 18) '1': u32 -[48; 53) '{ 1 }': u32 -[50; 51) '1': u32 -[67; 91) '{ ...c(); }': () -[73; 74) 'a': fn a() -> u32 -[73; 76) 'a()': u32 -[82; 86) 'b::c': fn c() -> u32 -[82; 88) 'b::c()': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap deleted file mode 100644 index 06ef0007c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_pattern.snap +++ /dev/null @@ -1,54 +0,0 @@ ---- -created: "2019-03-02T19:54:58.538812297Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[9; 10) 'x': &i32 -[18; 369) '{ ...o_x; }': () -[28; 29) 'y': &i32 -[32; 33) 'x': &i32 -[43; 45) '&z': &i32 -[44; 45) 'z': i32 -[48; 49) 'x': &i32 -[59; 60) 'a': i32 -[63; 64) 'z': i32 -[74; 80) '(c, d)': (i32, &str) -[75; 76) 'c': i32 -[78; 79) 'd': &str -[83; 95) '(1, "hello")': (i32, &str) -[84; 85) '1': i32 -[87; 94) '"hello"': &str -[102; 152) 'for (e... }': () -[106; 112) '(e, f)': ({unknown}, {unknown}) -[107; 108) 'e': {unknown} -[110; 111) 'f': {unknown} -[116; 125) 'some_iter': {unknown} -[126; 152) '{ ... }': () -[140; 141) 'g': {unknown} -[144; 145) 'e': {unknown} -[158; 205) 'if let... }': () -[165; 170) '[val]': {unknown} -[173; 176) 'opt': {unknown} -[177; 205) '{ ... }': () -[191; 192) 'h': {unknown} -[195; 198) 'val': {unknown} -[215; 221) 'lambda': {unknown} -[224; 256) '|a: u6...b; c }': {unknown} -[225; 226) 'a': u64 -[233; 234) 'b': u64 -[236; 237) 'c': i32 -[244; 256) '{ a + b; c }': i32 -[246; 247) 'a': u64 -[246; 251) 'a + b': u64 -[250; 251) 'b': u64 -[253; 254) 'c': i32 -[267; 279) 'ref ref_to_x': &&i32 -[282; 283) 'x': &i32 -[293; 302) 'mut mut_x': &i32 -[305; 306) 'x': &i32 -[316; 336) 'ref mu...f_to_x': &mut &i32 -[339; 340) 'x': &i32 -[350; 351) 'k': &mut &i32 -[354; 366) 'mut_ref_to_x': &mut &i32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap deleted file mode 100644 index e18815aba..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_project_associated_type.snap +++ /dev/null @@ -1,12 +0,0 @@ ---- -created: "2019-03-02T19:54:58.534200832Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[108; 181) '{ ...ter; }': () -[118; 119) 'x': i32 -[145; 146) '1': i32 -[156; 157) 'y': {unknown} -[169; 178) 'no_matter': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap deleted file mode 100644 index 56931bb3d..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_refs.snap +++ /dev/null @@ -1,30 +0,0 @@ ---- -created: "2019-01-22T14:45:00.053692600+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[9; 10) 'a': &u32 -[18; 19) 'b': &mut u32 -[31; 32) 'c': *const u32 -[46; 47) 'd': *mut u32 -[59; 150) '{ ... *d; }': () -[65; 66) 'a': &u32 -[72; 74) '*a': u32 -[73; 74) 'a': &u32 -[80; 82) '&a': &&u32 -[81; 82) 'a': &u32 -[88; 94) '&mut a': &mut &u32 -[93; 94) 'a': &u32 -[100; 101) 'b': &mut u32 -[107; 109) '*b': u32 -[108; 109) 'b': &mut u32 -[115; 117) '&b': &&mut u32 -[116; 117) 'b': &mut u32 -[123; 124) 'c': *const u32 -[130; 132) '*c': u32 -[131; 132) 'c': *const u32 -[138; 139) 'd': *mut u32 -[145; 147) '*d': u32 -[146; 147) 'd': *mut u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_self.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_self.snap deleted file mode 100644 index 5c927f5c1..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_self.snap +++ /dev/null @@ -1,17 +0,0 @@ ---- -created: "2019-02-04T19:40:48.826936500+00:00" -creator: insta@0.5.3 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[34; 38) 'self': &S -[40; 61) '{ ... }': () -[50; 54) 'self': &S -[75; 79) 'self': &S -[88; 109) '{ ... }': () -[98; 102) 'self': &S -[133; 153) '{ ... }': S -[143; 147) 'S {}': S -[177; 200) '{ ... }': S -[187; 194) 'Self {}': S - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap deleted file mode 100644 index e6ae195c4..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_static.snap +++ /dev/null @@ -1,16 +0,0 @@ ---- -created: "2019-03-02T19:54:58.534478182Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[85; 280) '{ ...MUT; }': () -[173; 174) 'x': {unknown} -[177; 189) 'LOCAL_STATIC': {unknown} -[199; 200) 'y': {unknown} -[203; 219) 'LOCAL_...IC_MUT': {unknown} -[229; 230) 'z': u32 -[233; 246) 'GLOBAL_STATIC': u32 -[256; 257) 'w': u32 -[260; 277) 'GLOBAL...IC_MUT': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap deleted file mode 100644 index 56b63cbe7..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_1.snap +++ /dev/null @@ -1,13 +0,0 @@ ---- -created: "2019-03-02T19:54:58.539061212Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[54; 139) '{ ... } }': () -[60; 137) 'match ... }': () -[66; 83) 'someth...nknown': Maybe<{unknown}> -[94; 124) 'Maybe:...thing)': Maybe<{unknown}> -[106; 123) 'ref mu...ething': &mut {unknown} -[128; 130) '()': () - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap deleted file mode 100644 index fd0b39b7d..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_2.snap +++ /dev/null @@ -1,14 +0,0 @@ ---- -created: "2019-02-09T17:03:11.974225590Z" -creator: insta@0.6.1 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[23; 53) '{ ...n']; }': () -[29; 50) '&[0, b...b'\n']': &[u8] -[30; 50) '[0, b'...b'\n']': [u8] -[31; 32) '0': u8 -[34; 39) 'b'\n'': u8 -[41; 42) '1': u8 -[44; 49) 'b'\n'': u8 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap deleted file mode 100644 index fd47f80b7..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_3.snap +++ /dev/null @@ -1,13 +0,0 @@ ---- -created: "2019-03-02T19:54:58.534201681Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[18; 102) '{ ... } }': () -[24; 100) 'match ... }': () -[42; 88) 'SizeSk...tail }': {unknown} -[76; 80) 'true': {unknown} -[82; 86) 'tail': {unknown} -[92; 94) '{}': () - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap deleted file mode 100644 index 14254c46a..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_4.snap +++ /dev/null @@ -1,16 +0,0 @@ ---- -created: "2019-03-02T19:54:58.539815103Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[25; 110) '{ ... } }': () -[31; 108) 'match ... }': () -[37; 42) '*self': {unknown} -[38; 42) 'self': {unknown} -[53; 95) 'Borrow...), ..}': {unknown} -[74; 77) 'box': {unknown} -[78; 87) 'Primitive': {unknown} -[88; 89) 'p': {unknown} -[99; 101) '{}': () - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap deleted file mode 100644 index 27853bf1a..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_std_crash_5.snap +++ /dev/null @@ -1,30 +0,0 @@ ---- -created: "2019-03-02T19:54:58.546324340Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[27; 323) '{ ... } }': () -[33; 321) 'for co... }': () -[37; 44) 'content': &{unknown} -[48; 61) 'doesnt_matter': {unknown} -[62; 321) '{ ... }': () -[76; 80) 'name': &&{unknown} -[83; 167) 'if doe... }': &&{unknown} -[86; 99) 'doesnt_matter': bool -[100; 129) '{ ... }': &&{unknown} -[114; 119) 'first': &&{unknown} -[135; 167) '{ ... }': &&{unknown} -[149; 157) '&content': &&{unknown} -[150; 157) 'content': &{unknown} -[182; 189) 'content': &&{unknown} -[192; 314) 'if ICE... }': &&{unknown} -[195; 232) 'ICE_RE..._VALUE': {unknown} -[195; 248) 'ICE_RE...&name)': bool -[242; 247) '&name': &&&{unknown} -[243; 247) 'name': &&{unknown} -[249; 277) '{ ... }': &&{unknown} -[263; 267) 'name': &&{unknown} -[283; 314) '{ ... }': &{unknown} -[297; 304) 'content': &{unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap deleted file mode 100644 index 32f1fa108..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_struct.snap +++ /dev/null @@ -1,23 +0,0 @@ ---- -created: "2019-02-20T21:31:12.910924715Z" -creator: insta@0.6.2 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[72; 154) '{ ...a.c; }': () -[82; 83) 'c': C -[86; 87) 'C': C(usize) -> C -[86; 90) 'C(1)': C -[88; 89) '1': usize -[96; 97) 'B': B -[107; 108) 'a': A -[114; 133) 'A { b:...C(1) }': A -[121; 122) 'B': B -[127; 128) 'C': C(usize) -> C -[127; 131) 'C(1)': C -[129; 130) '1': usize -[139; 140) 'a': A -[139; 142) 'a.b': B -[148; 149) 'a': A -[148; 151) 'a.c': C - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap deleted file mode 100644 index e07c7d36c..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_struct_generics.snap +++ /dev/null @@ -1,22 +0,0 @@ ---- -created: "2019-01-22T14:45:00.058678600+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[36; 38) 'a1': A -[48; 49) 'i': i32 -[56; 147) '{ ...3.x; }': () -[62; 64) 'a1': A -[62; 66) 'a1.x': u32 -[76; 78) 'a2': A -[81; 91) 'A { x: i }': A -[88; 89) 'i': i32 -[97; 99) 'a2': A -[97; 101) 'a2.x': i32 -[111; 113) 'a3': A -[116; 134) 'A:: -[131; 132) '1': i128 -[140; 142) 'a3': A -[140; 144) 'a3.x': i128 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap deleted file mode 100644 index b36d0ecda..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_assoc_method.snap +++ /dev/null @@ -1,17 +0,0 @@ ---- -created: "2019-03-02T19:54:58.553776959Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[87; 193) '{ ...t(); }': () -[97; 99) 's1': S -[105; 121) 'Defaul...efault': {unknown} -[105; 123) 'Defaul...ault()': S -[133; 135) 's2': {unknown} -[138; 148) 'S::default': {unknown} -[138; 150) 'S::default()': {unknown} -[160; 162) 's3': {unknown} -[165; 188) '(T) -> S -[108; 115) 'S(1u32)': S -[108; 124) 'S(1u32...thod()': {unknown} -[110; 114) '1u32': u32 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap deleted file mode 100644 index d53ae14fc..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_scoped.snap +++ /dev/null @@ -1,15 +0,0 @@ ---- -created: "2019-03-02T19:54:58.562251445Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[63; 67) 'self': &{unknown} -[169; 173) 'self': &{unknown} -[300; 337) '{ ... }': () -[310; 311) 'S': S -[310; 320) 'S.method()': {unknown} -[416; 454) '{ ... }': () -[426; 427) 'S': S -[426; 436) 'S.method()': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap deleted file mode 100644 index ff1c483f1..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_trait_method_simple.snap +++ /dev/null @@ -1,14 +0,0 @@ ---- -created: "2019-03-02T19:54:58.558393608Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[31; 35) 'self': &{unknown} -[110; 114) 'self': &{unknown} -[170; 228) '{ ...i128 }': () -[176; 178) 'S1': S1 -[176; 187) 'S1.method()': {unknown} -[203; 205) 'S2': S2 -[203; 214) 'S2.method()': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap deleted file mode 100644 index cd11d41d3..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple.snap +++ /dev/null @@ -1,34 +0,0 @@ ---- -created: "2019-01-22T14:45:00.058678600+00:00" -creator: insta@0.4.0 -expression: "&result" -source: "crates\\ra_hir\\src\\ty\\tests.rs" ---- -[9; 10) 'x': &str -[18; 19) 'y': isize -[28; 170) '{ ...d"); }': () -[38; 39) 'a': (u32, &str) -[55; 63) '(1, "a")': (u32, &str) -[56; 57) '1': u32 -[59; 62) '"a"': &str -[73; 74) 'b': ((u32, &str), &str) -[77; 83) '(a, x)': ((u32, &str), &str) -[78; 79) 'a': (u32, &str) -[81; 82) 'x': &str -[93; 94) 'c': (isize, &str) -[97; 103) '(y, x)': (isize, &str) -[98; 99) 'y': isize -[101; 102) 'x': &str -[113; 114) 'd': ((isize, &str), &str) -[117; 123) '(c, x)': ((isize, &str), &str) -[118; 119) 'c': (isize, &str) -[121; 122) 'x': &str -[133; 134) 'e': (i32, &str) -[137; 145) '(1, "e")': (i32, &str) -[138; 139) '1': i32 -[141; 144) '"e"': &str -[155; 156) 'f': ((i32, &str), &str) -[159; 167) '(e, "d")': ((i32, &str), &str) -[160; 161) 'e': (i32, &str) -[163; 166) '"d"': &str - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap deleted file mode 100644 index 5246794fe..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_tuple_struct_generics.snap +++ /dev/null @@ -1,23 +0,0 @@ ---- -created: "2019-03-02T19:54:58.566211313Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[77; 185) '{ ...one; }': () -[83; 84) 'A': A(T) -> A -[83; 88) 'A(42)': A -[85; 87) '42': i32 -[94; 95) 'A': A(T) -> A -[94; 103) 'A(42u128)': A -[96; 102) '42u128': u128 -[109; 113) 'Some': Some<&str>(T) -> Option -[109; 118) 'Some("x")': Option<&str> -[114; 117) '"x"': &str -[124; 136) 'Option::Some': Some<&str>(T) -> Option -[124; 141) 'Option...e("x")': Option<&str> -[137; 140) '"x"': &str -[147; 151) 'None': Option<{unknown}> -[161; 162) 'x': Option -[178; 182) 'None': Option - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap deleted file mode 100644 index 241c08353..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_type_alias.snap +++ /dev/null @@ -1,23 +0,0 @@ ---- -created: "2019-02-24T16:13:47.561870283Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[117; 118) 'x': A -[125; 126) 'y': A<&str, u128> -[139; 140) 'z': A -[155; 212) '{ ...z.y; }': () -[161; 162) 'x': A -[161; 164) 'x.x': u32 -[170; 171) 'x': A -[170; 173) 'x.y': i128 -[179; 180) 'y': A<&str, u128> -[179; 182) 'y.x': &str -[188; 189) 'y': A<&str, u128> -[188; 191) 'y.y': u128 -[197; 198) 'z': A -[197; 200) 'z.x': u8 -[206; 207) 'z': A -[206; 209) 'z.y': i8 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap deleted file mode 100644 index 216d1e41f..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_type_param.snap +++ /dev/null @@ -1,26 +0,0 @@ ---- -created: "2019-01-27T20:38:32.153717698+00:00" -creator: insta@0.5.2 -expression: "&result" -source: crates/ra_hir/src/ty/tests.rs ---- -[10; 11) 'x': T -[21; 30) '{ x }': T -[27; 28) 'x': T -[44; 45) 'x': &T -[56; 65) '{ x }': &T -[62; 63) 'x': &T -[77; 157) '{ ...(1); }': () -[87; 88) 'y': u32 -[91; 96) '10u32': u32 -[102; 104) 'id': fn id(T) -> T -[102; 107) 'id(y)': u32 -[105; 106) 'y': u32 -[117; 118) 'x': bool -[127; 132) 'clone': fn clone(&T) -> T -[127; 135) 'clone(z)': bool -[133; 134) 'z': &bool -[141; 151) 'id::': fn id(T) -> T -[141; 154) 'id::(1)': i128 -[152; 153) '1': i128 - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap deleted file mode 100644 index ce0d3c60d..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_unary_op.snap +++ /dev/null @@ -1,48 +0,0 @@ ---- -created: "2019-03-02T19:54:58.571163594Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[27; 28) 'x': SomeType -[40; 272) '{ ...lo"; }': () -[50; 51) 'b': bool -[54; 59) 'false': bool -[69; 70) 'c': bool -[73; 75) '!b': bool -[74; 75) 'b': bool -[85; 86) 'a': i128 -[89; 92) '100': i128 -[102; 103) 'd': i128 -[112; 114) '-a': i128 -[113; 114) 'a': i128 -[124; 125) 'e': i32 -[128; 132) '-100': i32 -[129; 132) '100': i32 -[142; 143) 'f': bool -[146; 153) '!!!true': bool -[147; 153) '!!true': bool -[148; 153) '!true': bool -[149; 153) 'true': bool -[163; 164) 'g': i32 -[167; 170) '!42': i32 -[168; 170) '42': i32 -[180; 181) 'h': u32 -[184; 190) '!10u32': u32 -[185; 190) '10u32': u32 -[200; 201) 'j': i128 -[204; 206) '!a': i128 -[205; 206) 'a': i128 -[212; 217) '-3.14': f64 -[213; 217) '3.14': f64 -[223; 225) '!3': i32 -[224; 225) '3': i32 -[231; 233) '-x': {unknown} -[232; 233) 'x': SomeType -[239; 241) '!x': {unknown} -[240; 241) 'x': SomeType -[247; 255) '-"hello"': {unknown} -[248; 255) '"hello"': &str -[261; 269) '!"hello"': {unknown} -[262; 269) '"hello"': &str - diff --git a/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap b/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap deleted file mode 100644 index a7704ecce..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__infer_with_multiple_trait_impls.snap +++ /dev/null @@ -1,19 +0,0 @@ ---- -created: "2019-03-02T19:54:58.573565546Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[29; 33) 'self': {unknown} -[107; 198) '{ ...(S); }': () -[117; 118) 'x': u32 -[126; 127) 'S': S -[126; 134) 'S.into()': u32 -[144; 145) 'y': u64 -[153; 154) 'S': S -[153; 161) 'S.into()': u64 -[171; 172) 'z': {unknown} -[175; 192) 'Into::...::into': {unknown} -[175; 195) 'Into::...nto(S)': {unknown} -[193; 194) 'S': S - diff --git a/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap b/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap deleted file mode 100644 index cf0dc719e..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__no_panic_on_field_of_enum.snap +++ /dev/null @@ -1,11 +0,0 @@ ---- -created: "2019-03-02T19:54:58.571647281Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[20; 21) 'x': X -[26; 47) '{ ...eld; }': () -[32; 33) 'x': X -[32; 44) 'x.some_field': {unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap deleted file mode 100644 index 1a4388b50..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars.snap +++ /dev/null @@ -1,14 +0,0 @@ ---- -created: "2019-03-02T19:54:58.571823250Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[11; 48) '{ ...&y]; }': () -[21; 22) 'y': &{unknown} -[25; 32) 'unknown': &{unknown} -[38; 45) '[y, &y]': [&&{unknown}] -[39; 40) 'y': &{unknown} -[42; 44) '&y': &&{unknown} -[43; 44) 'y': &{unknown} - diff --git a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap b/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap deleted file mode 100644 index 444644639..000000000 --- a/crates/ra_hir/src/ty/snapshots/tests__recursive_vars_2.snap +++ /dev/null @@ -1,21 +0,0 @@ ---- -created: "2019-03-02T19:54:58.575200890Z" -creator: insta@0.6.3 -source: crates/ra_hir/src/ty/tests.rs -expression: "&result" ---- -[11; 80) '{ ...x)]; }': () -[21; 22) 'x': &&{unknown} -[25; 32) 'unknown': &&{unknown} -[42; 43) 'y': &&{unknown} -[46; 53) 'unknown': &&{unknown} -[59; 77) '[(x, y..., &x)]': [(&&{unknown}, &&{unknown})] -[60; 66) '(x, y)': (&&{unknown}, &&{unknown}) -[61; 62) 'x': &&{unknown} -[64; 65) 'y': &&{unknown} -[68; 76) '(&y, &x)': (&&&{unknown}, &&&{unknown}) -[69; 71) '&y': &&&{unknown} -[70; 71) 'y': &&{unknown} -[73; 75) '&x': &&&{unknown} -[74; 75) 'x': &&{unknown} - -- cgit v1.2.3