Skip to content

Commit e8c22fb

Browse files
hvitvedhvitved
committed
Rust: Add type inference tests for empty arrays
1 parent f2ce282 commit e8c22fb

2 files changed

Lines changed: 131 additions & 82 deletions

File tree

‎rust/ql/test/library-tests/type-inference/main.rs‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2800,6 +2800,15 @@ mod arg_trait_bounds {
28002800
}
28012801
}
28022802

2803+
fn empty_array() {
2804+
let arr1: [i32; 0] = []; // $ type=arr1@[;]<TArray>:i32
2805+
let arr2 = [true; 0]; // $ type=arr2@[;]<TArray>:bool
2806+
let arr3 = []; // $ MISSING: type=arr3@[;]<TArray>:i32
2807+
2808+
fn pin_array<T>(arr: [T; 0], x: T) {}
2809+
pin_array(arr3, 1); // $ target=pin_array
2810+
}
2811+
28032812
fn main() {
28042813
field_access::f(); // $ target=f
28052814
method_impl::f(); // $ target=f
@@ -2835,4 +2844,5 @@ fn main() {
28352844
dyn_type::test(); // $ target=test
28362845
if_expr::f(true); // $ target=f
28372846
local_function::f(); // $ target=f
2847+
empty_array(); // $ target=empty_array
28382848
}

‎rust/ql/test/library-tests/type-inference/type-inference.expected‎

Lines changed: 121 additions & 82 deletions
Original file line numberDiff line numberDiff line change
@@ -3982,48 +3982,64 @@ inferCertainType
39823982
| main.rs:2796:15:2800:5 | { ... } | | {EXTERNAL LOCATION} | () |
39833983
| main.rs:2799:17:2799:26 | my_get(...) | | {EXTERNAL LOCATION} | bool |
39843984
| main.rs:2799:24:2799:25 | &g | | {EXTERNAL LOCATION} | & |
3985-
| main.rs:2803:11:2838:1 | { ... } | | {EXTERNAL LOCATION} | () |
3986-
| main.rs:2804:5:2804:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3987-
| main.rs:2805:5:2805:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
3988-
| main.rs:2806:5:2806:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
3989-
| main.rs:2806:20:2806:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3990-
| main.rs:2806:41:2806:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3991-
| main.rs:2807:5:2807:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3992-
| main.rs:2808:5:2808:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3993-
| main.rs:2809:5:2809:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3994-
| main.rs:2810:5:2810:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3995-
| main.rs:2811:5:2811:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3996-
| main.rs:2812:5:2812:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3997-
| main.rs:2813:5:2813:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3998-
| main.rs:2814:5:2814:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3999-
| main.rs:2815:5:2815:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3985+
| main.rs:2803:18:2810:1 | { ... } | | {EXTERNAL LOCATION} | () |
3986+
| main.rs:2804:9:2804:12 | arr1 | | {EXTERNAL LOCATION} | [;] |
3987+
| main.rs:2804:9:2804:12 | arr1 | TArray | {EXTERNAL LOCATION} | i32 |
3988+
| main.rs:2804:26:2804:27 | [...] | | {EXTERNAL LOCATION} | [;] |
3989+
| main.rs:2805:9:2805:12 | arr2 | | {EXTERNAL LOCATION} | [;] |
3990+
| main.rs:2805:16:2805:24 | [true; 0] | | {EXTERNAL LOCATION} | [;] |
3991+
| main.rs:2805:17:2805:20 | true | | {EXTERNAL LOCATION} | bool |
3992+
| main.rs:2806:9:2806:12 | arr3 | | {EXTERNAL LOCATION} | [;] |
3993+
| main.rs:2806:16:2806:17 | [...] | | {EXTERNAL LOCATION} | [;] |
3994+
| main.rs:2808:21:2808:23 | arr | | {EXTERNAL LOCATION} | [;] |
3995+
| main.rs:2808:21:2808:23 | arr | TArray | main.rs:2808:18:2808:18 | T |
3996+
| main.rs:2808:34:2808:34 | x | | main.rs:2808:18:2808:18 | T |
3997+
| main.rs:2808:40:2808:41 | { ... } | | {EXTERNAL LOCATION} | () |
3998+
| main.rs:2809:5:2809:22 | pin_array(...) | | {EXTERNAL LOCATION} | () |
3999+
| main.rs:2809:15:2809:18 | arr3 | | {EXTERNAL LOCATION} | [;] |
4000+
| main.rs:2812:11:2848:1 | { ... } | | {EXTERNAL LOCATION} | () |
4001+
| main.rs:2813:5:2813:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4002+
| main.rs:2814:5:2814:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
4003+
| main.rs:2815:5:2815:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
4004+
| main.rs:2815:20:2815:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
4005+
| main.rs:2815:41:2815:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
40004006
| main.rs:2816:5:2816:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4001-
| main.rs:2817:5:2817:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4002-
| main.rs:2818:5:2818:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4003-
| main.rs:2819:5:2819:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4004-
| main.rs:2820:5:2820:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4005-
| main.rs:2821:5:2821:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4006-
| main.rs:2822:5:2822:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
4007-
| main.rs:2822:5:2822:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
4008-
| main.rs:2823:5:2823:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4009-
| main.rs:2824:5:2824:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4010-
| main.rs:2825:5:2825:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4011-
| main.rs:2826:5:2826:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4012-
| main.rs:2827:5:2827:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4013-
| main.rs:2828:5:2828:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4014-
| main.rs:2829:5:2829:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4015-
| main.rs:2830:5:2830:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4016-
| main.rs:2831:5:2831:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4017-
| main.rs:2832:5:2832:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4018-
| main.rs:2833:5:2833:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
4019-
| main.rs:2834:5:2834:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
4020-
| main.rs:2835:5:2835:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4021-
| main.rs:2836:5:2836:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
4022-
| main.rs:2836:5:2836:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
4023-
| main.rs:2836:5:2836:20 | ...::f(...) | T | main.rs:2564:5:2566:5 | dyn MyTrait |
4024-
| main.rs:2836:5:2836:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
4025-
| main.rs:2836:16:2836:19 | true | | {EXTERNAL LOCATION} | bool |
4026-
| main.rs:2837:5:2837:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4007+
| main.rs:2817:5:2817:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4008+
| main.rs:2818:5:2818:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4009+
| main.rs:2819:5:2819:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4010+
| main.rs:2820:5:2820:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4011+
| main.rs:2821:5:2821:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4012+
| main.rs:2822:5:2822:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4013+
| main.rs:2823:5:2823:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4014+
| main.rs:2824:5:2824:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4015+
| main.rs:2825:5:2825:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4016+
| main.rs:2826:5:2826:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4017+
| main.rs:2827:5:2827:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4018+
| main.rs:2828:5:2828:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4019+
| main.rs:2829:5:2829:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4020+
| main.rs:2830:5:2830:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4021+
| main.rs:2831:5:2831:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
4022+
| main.rs:2831:5:2831:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
4023+
| main.rs:2832:5:2832:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4024+
| main.rs:2833:5:2833:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4025+
| main.rs:2834:5:2834:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4026+
| main.rs:2835:5:2835:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4027+
| main.rs:2836:5:2836:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4028+
| main.rs:2837:5:2837:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4029+
| main.rs:2838:5:2838:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4030+
| main.rs:2839:5:2839:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4031+
| main.rs:2840:5:2840:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4032+
| main.rs:2841:5:2841:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4033+
| main.rs:2842:5:2842:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
4034+
| main.rs:2843:5:2843:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
4035+
| main.rs:2844:5:2844:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
4036+
| main.rs:2845:5:2845:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
4037+
| main.rs:2845:5:2845:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
4038+
| main.rs:2845:5:2845:20 | ...::f(...) | T | main.rs:2564:5:2566:5 | dyn MyTrait |
4039+
| main.rs:2845:5:2845:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
4040+
| main.rs:2845:16:2845:19 | true | | {EXTERNAL LOCATION} | bool |
4041+
| main.rs:2846:5:2846:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
4042+
| main.rs:2847:5:2847:17 | empty_array(...) | | {EXTERNAL LOCATION} | () |
40274043
| overloading.rs:4:19:4:23 | SelfParam | | {EXTERNAL LOCATION} | & |
40284044
| overloading.rs:4:19:4:23 | SelfParam | TRef | overloading.rs:2:5:11:5 | Self [trait FirstTrait] |
40294045
| overloading.rs:4:34:6:9 | { ... } | | {EXTERNAL LOCATION} | bool |
@@ -12988,48 +13004,71 @@ inferType
1298813004
| main.rs:2799:24:2799:25 | &g | TRef.T | {EXTERNAL LOCATION} | i64 |
1298913005
| main.rs:2799:25:2799:25 | g | | main.rs:2780:5:2780:21 | Gen |
1299013006
| main.rs:2799:25:2799:25 | g | T | {EXTERNAL LOCATION} | i64 |
12991-
| main.rs:2803:11:2838:1 | { ... } | | {EXTERNAL LOCATION} | () |
12992-
| main.rs:2804:5:2804:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12993-
| main.rs:2805:5:2805:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
12994-
| main.rs:2806:5:2806:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
12995-
| main.rs:2806:20:2806:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
12996-
| main.rs:2806:41:2806:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
12997-
| main.rs:2807:5:2807:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12998-
| main.rs:2808:5:2808:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12999-
| main.rs:2809:5:2809:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13000-
| main.rs:2810:5:2810:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13001-
| main.rs:2811:5:2811:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13002-
| main.rs:2812:5:2812:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13003-
| main.rs:2813:5:2813:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13004-
| main.rs:2814:5:2814:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13005-
| main.rs:2815:5:2815:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13007+
| main.rs:2803:18:2810:1 | { ... } | | {EXTERNAL LOCATION} | () |
13008+
| main.rs:2804:9:2804:12 | arr1 | | {EXTERNAL LOCATION} | [;] |
13009+
| main.rs:2804:9:2804:12 | arr1 | TArray | {EXTERNAL LOCATION} | i32 |
13010+
| main.rs:2804:21:2804:21 | 0 | | {EXTERNAL LOCATION} | i32 |
13011+
| main.rs:2804:26:2804:27 | [...] | | {EXTERNAL LOCATION} | [;] |
13012+
| main.rs:2804:26:2804:27 | [...] | TArray | {EXTERNAL LOCATION} | i32 |
13013+
| main.rs:2805:9:2805:12 | arr2 | | {EXTERNAL LOCATION} | [;] |
13014+
| main.rs:2805:9:2805:12 | arr2 | TArray | {EXTERNAL LOCATION} | bool |
13015+
| main.rs:2805:16:2805:24 | [true; 0] | | {EXTERNAL LOCATION} | [;] |
13016+
| main.rs:2805:16:2805:24 | [true; 0] | TArray | {EXTERNAL LOCATION} | bool |
13017+
| main.rs:2805:17:2805:20 | true | | {EXTERNAL LOCATION} | bool |
13018+
| main.rs:2805:23:2805:23 | 0 | | {EXTERNAL LOCATION} | i32 |
13019+
| main.rs:2806:9:2806:12 | arr3 | | {EXTERNAL LOCATION} | [;] |
13020+
| main.rs:2806:16:2806:17 | [...] | | {EXTERNAL LOCATION} | [;] |
13021+
| main.rs:2808:21:2808:23 | arr | | {EXTERNAL LOCATION} | [;] |
13022+
| main.rs:2808:21:2808:23 | arr | TArray | main.rs:2808:18:2808:18 | T |
13023+
| main.rs:2808:30:2808:30 | 0 | | {EXTERNAL LOCATION} | i32 |
13024+
| main.rs:2808:34:2808:34 | x | | main.rs:2808:18:2808:18 | T |
13025+
| main.rs:2808:40:2808:41 | { ... } | | {EXTERNAL LOCATION} | () |
13026+
| main.rs:2809:5:2809:22 | pin_array(...) | | {EXTERNAL LOCATION} | () |
13027+
| main.rs:2809:15:2809:18 | arr3 | | {EXTERNAL LOCATION} | [;] |
13028+
| main.rs:2809:21:2809:21 | 1 | | {EXTERNAL LOCATION} | i32 |
13029+
| main.rs:2812:11:2848:1 | { ... } | | {EXTERNAL LOCATION} | () |
13030+
| main.rs:2813:5:2813:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13031+
| main.rs:2814:5:2814:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
13032+
| main.rs:2815:5:2815:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
13033+
| main.rs:2815:20:2815:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
13034+
| main.rs:2815:41:2815:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
1300613035
| main.rs:2816:5:2816:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13007-
| main.rs:2817:5:2817:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13008-
| main.rs:2818:5:2818:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13009-
| main.rs:2819:5:2819:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13010-
| main.rs:2820:5:2820:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13011-
| main.rs:2821:5:2821:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13012-
| main.rs:2822:5:2822:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
13013-
| main.rs:2822:5:2822:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
13014-
| main.rs:2823:5:2823:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13015-
| main.rs:2824:5:2824:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13016-
| main.rs:2825:5:2825:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13017-
| main.rs:2826:5:2826:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13018-
| main.rs:2827:5:2827:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13019-
| main.rs:2828:5:2828:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13020-
| main.rs:2829:5:2829:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13021-
| main.rs:2830:5:2830:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13022-
| main.rs:2831:5:2831:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13023-
| main.rs:2832:5:2832:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13024-
| main.rs:2833:5:2833:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
13025-
| main.rs:2834:5:2834:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
13026-
| main.rs:2835:5:2835:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13027-
| main.rs:2836:5:2836:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
13028-
| main.rs:2836:5:2836:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
13029-
| main.rs:2836:5:2836:20 | ...::f(...) | T | main.rs:2564:5:2566:5 | dyn MyTrait |
13030-
| main.rs:2836:5:2836:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
13031-
| main.rs:2836:16:2836:19 | true | | {EXTERNAL LOCATION} | bool |
13032-
| main.rs:2837:5:2837:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13036+
| main.rs:2817:5:2817:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13037+
| main.rs:2818:5:2818:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13038+
| main.rs:2819:5:2819:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13039+
| main.rs:2820:5:2820:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13040+
| main.rs:2821:5:2821:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13041+
| main.rs:2822:5:2822:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13042+
| main.rs:2823:5:2823:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13043+
| main.rs:2824:5:2824:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13044+
| main.rs:2825:5:2825:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13045+
| main.rs:2826:5:2826:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13046+
| main.rs:2827:5:2827:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13047+
| main.rs:2828:5:2828:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13048+
| main.rs:2829:5:2829:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13049+
| main.rs:2830:5:2830:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13050+
| main.rs:2831:5:2831:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
13051+
| main.rs:2831:5:2831:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
13052+
| main.rs:2832:5:2832:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13053+
| main.rs:2833:5:2833:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13054+
| main.rs:2834:5:2834:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13055+
| main.rs:2835:5:2835:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13056+
| main.rs:2836:5:2836:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13057+
| main.rs:2837:5:2837:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13058+
| main.rs:2838:5:2838:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13059+
| main.rs:2839:5:2839:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13060+
| main.rs:2840:5:2840:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13061+
| main.rs:2841:5:2841:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13062+
| main.rs:2842:5:2842:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
13063+
| main.rs:2843:5:2843:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
13064+
| main.rs:2844:5:2844:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
13065+
| main.rs:2845:5:2845:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
13066+
| main.rs:2845:5:2845:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
13067+
| main.rs:2845:5:2845:20 | ...::f(...) | T | main.rs:2564:5:2566:5 | dyn MyTrait |
13068+
| main.rs:2845:5:2845:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
13069+
| main.rs:2845:16:2845:19 | true | | {EXTERNAL LOCATION} | bool |
13070+
| main.rs:2846:5:2846:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
13071+
| main.rs:2847:5:2847:17 | empty_array(...) | | {EXTERNAL LOCATION} | () |
1303313072
| overloading.rs:4:19:4:23 | SelfParam | | {EXTERNAL LOCATION} | & |
1303413073
| overloading.rs:4:19:4:23 | SelfParam | TRef | overloading.rs:2:5:11:5 | Self [trait FirstTrait] |
1303513074
| overloading.rs:4:34:6:9 | { ... } | | {EXTERNAL LOCATION} | bool |

0 commit comments

Comments
 (0)