Skip to content

Commit 29951e8

Browse files
hvitvedhvitved
committed
temp
1 parent 47ee3ed commit 29951e8

File tree

2 files changed

+162
-84
lines changed

2 files changed

+162
-84
lines changed

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

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2878,6 +2878,30 @@ mod closure;
28782878
mod dereference;
28792879
mod dyn_type;
28802880

2881+
mod foo {
2882+
struct Gen<T>(T);
2883+
2884+
trait Container<T> {
2885+
fn get_input(&self) -> T;
2886+
}
2887+
2888+
fn my_get<T: Container<i64>>(c: &T) -> bool {
2889+
c.get_input() == 42
2890+
}
2891+
2892+
impl<GT: Copy> Container<GT> for Gen<GT> {
2893+
fn get_input(&self) -> GT {
2894+
self.0
2895+
}
2896+
}
2897+
2898+
fn test() {
2899+
let v = Default::default(); // $ type=v:i64 target=default
2900+
let g = Gen(v);
2901+
let _ = my_get(&g);
2902+
}
2903+
}
2904+
28812905
fn main() {
28822906
field_access::f(); // $ target=f
28832907
method_impl::f(); // $ target=f

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

Lines changed: 138 additions & 84 deletions
Original file line numberDiff line numberDiff line change
@@ -3923,48 +3923,65 @@ inferCertainType
39233923
| main.rs:2867:21:2867:21 | y | | {EXTERNAL LOCATION} | & |
39243924
| main.rs:2870:13:2870:13 | y | | {EXTERNAL LOCATION} | usize |
39253925
| main.rs:2871:23:2871:23 | y | | {EXTERNAL LOCATION} | usize |
3926-
| main.rs:2881:11:2916:1 | { ... } | | {EXTERNAL LOCATION} | () |
3927-
| main.rs:2882:5:2882:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3928-
| main.rs:2883:5:2883:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
3929-
| main.rs:2884:5:2884:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
3930-
| main.rs:2884:20:2884:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3931-
| main.rs:2884:41:2884:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3932-
| main.rs:2885:5:2885:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3933-
| main.rs:2886:5:2886:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3934-
| main.rs:2887:5:2887:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3935-
| main.rs:2888:5:2888:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3936-
| main.rs:2889:5:2889:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3937-
| main.rs:2890:5:2890:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3938-
| main.rs:2891:5:2891:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3939-
| main.rs:2892:5:2892:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3940-
| main.rs:2893:5:2893:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3941-
| main.rs:2894:5:2894:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3942-
| main.rs:2895:5:2895:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3943-
| main.rs:2896:5:2896:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3944-
| main.rs:2897:5:2897:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3945-
| main.rs:2898:5:2898:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3946-
| main.rs:2899:5:2899:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3947-
| main.rs:2900:5:2900:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
3948-
| main.rs:2900:5:2900:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
3949-
| main.rs:2901:5:2901:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3950-
| main.rs:2902:5:2902:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3951-
| main.rs:2903:5:2903:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3952-
| main.rs:2904:5:2904:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3953-
| main.rs:2905:5:2905:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3954-
| main.rs:2906:5:2906:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3955-
| main.rs:2907:5:2907:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3956-
| main.rs:2908:5:2908:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3957-
| main.rs:2909:5:2909:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3958-
| main.rs:2910:5:2910:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3959-
| main.rs:2911:5:2911:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
3960-
| main.rs:2912:5:2912:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
3961-
| main.rs:2913:5:2913:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3962-
| main.rs:2914:5:2914:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
3963-
| main.rs:2914:5:2914:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
3964-
| main.rs:2914:5:2914:20 | ...::f(...) | T | main.rs:2684:5:2686:5 | dyn MyTrait |
3965-
| main.rs:2914:5:2914:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
3966-
| main.rs:2914:16:2914:19 | true | | {EXTERNAL LOCATION} | bool |
3967-
| main.rs:2915:5:2915:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3926+
| main.rs:2885:22:2885:26 | SelfParam | | {EXTERNAL LOCATION} | & |
3927+
| main.rs:2885:22:2885:26 | SelfParam | TRef | main.rs:2884:5:2886:5 | Self [trait Container] |
3928+
| main.rs:2888:34:2888:34 | c | | {EXTERNAL LOCATION} | & |
3929+
| main.rs:2888:34:2888:34 | c | TRef | main.rs:2888:15:2888:31 | T |
3930+
| main.rs:2888:49:2890:5 | { ... } | | {EXTERNAL LOCATION} | bool |
3931+
| main.rs:2889:9:2889:9 | c | | {EXTERNAL LOCATION} | & |
3932+
| main.rs:2889:9:2889:9 | c | TRef | main.rs:2888:15:2888:31 | T |
3933+
| main.rs:2893:22:2893:26 | SelfParam | | {EXTERNAL LOCATION} | & |
3934+
| main.rs:2893:22:2893:26 | SelfParam | TRef | main.rs:2882:5:2882:21 | Gen |
3935+
| main.rs:2893:22:2893:26 | SelfParam | TRef.T | main.rs:2892:10:2892:17 | GT |
3936+
| main.rs:2893:35:2895:9 | { ... } | | main.rs:2892:10:2892:17 | GT |
3937+
| main.rs:2894:13:2894:16 | self | | {EXTERNAL LOCATION} | & |
3938+
| main.rs:2894:13:2894:16 | self | TRef | main.rs:2882:5:2882:21 | Gen |
3939+
| main.rs:2894:13:2894:16 | self | TRef.T | main.rs:2892:10:2892:17 | GT |
3940+
| main.rs:2898:15:2902:5 | { ... } | | {EXTERNAL LOCATION} | () |
3941+
| main.rs:2901:17:2901:26 | my_get(...) | | {EXTERNAL LOCATION} | bool |
3942+
| main.rs:2901:24:2901:25 | &g | | {EXTERNAL LOCATION} | & |
3943+
| main.rs:2905:11:2940:1 | { ... } | | {EXTERNAL LOCATION} | () |
3944+
| main.rs:2906:5:2906:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3945+
| main.rs:2907:5:2907:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
3946+
| main.rs:2908:5:2908:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
3947+
| main.rs:2908:20:2908:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3948+
| main.rs:2908:41:2908:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3949+
| main.rs:2909:5:2909:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3950+
| main.rs:2910:5:2910:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3951+
| main.rs:2911:5:2911:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3952+
| main.rs:2912:5:2912:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3953+
| main.rs:2913:5:2913:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3954+
| main.rs:2914:5:2914:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3955+
| main.rs:2915:5:2915:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3956+
| main.rs:2916:5:2916:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3957+
| main.rs:2917:5:2917:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3958+
| main.rs:2918:5:2918:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3959+
| main.rs:2919:5:2919:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3960+
| main.rs:2920:5:2920:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3961+
| main.rs:2921:5:2921:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3962+
| main.rs:2922:5:2922:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3963+
| main.rs:2923:5:2923:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3964+
| main.rs:2924:5:2924:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
3965+
| main.rs:2924:5:2924:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
3966+
| main.rs:2925:5:2925:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3967+
| main.rs:2926:5:2926:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3968+
| main.rs:2927:5:2927:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3969+
| main.rs:2928:5:2928:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3970+
| main.rs:2929:5:2929:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3971+
| main.rs:2930:5:2930:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3972+
| main.rs:2931:5:2931:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3973+
| main.rs:2932:5:2932:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
3974+
| main.rs:2933:5:2933:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3975+
| main.rs:2934:5:2934:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3976+
| main.rs:2935:5:2935:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
3977+
| main.rs:2936:5:2936:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
3978+
| main.rs:2937:5:2937:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
3979+
| main.rs:2938:5:2938:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
3980+
| main.rs:2938:5:2938:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
3981+
| main.rs:2938:5:2938:20 | ...::f(...) | T | main.rs:2684:5:2686:5 | dyn MyTrait |
3982+
| main.rs:2938:5:2938:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
3983+
| main.rs:2938:16:2938:19 | true | | {EXTERNAL LOCATION} | bool |
3984+
| main.rs:2939:5:2939:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
39683985
| pattern_matching.rs:13:26:133:1 | { ... } | | {EXTERNAL LOCATION} | Option |
39693986
| pattern_matching.rs:13:26:133:1 | { ... } | T | {EXTERNAL LOCATION} | () |
39703987
| pattern_matching.rs:15:5:18:5 | if ... {...} | | {EXTERNAL LOCATION} | () |
@@ -12405,48 +12422,81 @@ inferType
1240512422
| main.rs:2871:17:2871:17 | x | | {EXTERNAL LOCATION} | i32 |
1240612423
| main.rs:2871:17:2871:24 | x.max(...) | | {EXTERNAL LOCATION} | i32 |
1240712424
| main.rs:2871:23:2871:23 | y | | {EXTERNAL LOCATION} | usize |
12408-
| main.rs:2881:11:2916:1 | { ... } | | {EXTERNAL LOCATION} | () |
12409-
| main.rs:2882:5:2882:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12410-
| main.rs:2883:5:2883:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
12411-
| main.rs:2884:5:2884:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
12412-
| main.rs:2884:20:2884:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
12413-
| main.rs:2884:41:2884:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
12414-
| main.rs:2885:5:2885:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12415-
| main.rs:2886:5:2886:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12416-
| main.rs:2887:5:2887:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12417-
| main.rs:2888:5:2888:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12418-
| main.rs:2889:5:2889:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12419-
| main.rs:2890:5:2890:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12420-
| main.rs:2891:5:2891:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12421-
| main.rs:2892:5:2892:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12422-
| main.rs:2893:5:2893:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12423-
| main.rs:2894:5:2894:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12424-
| main.rs:2895:5:2895:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12425-
| main.rs:2896:5:2896:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12426-
| main.rs:2897:5:2897:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12427-
| main.rs:2898:5:2898:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12428-
| main.rs:2899:5:2899:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12429-
| main.rs:2900:5:2900:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
12430-
| main.rs:2900:5:2900:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
12431-
| main.rs:2901:5:2901:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12432-
| main.rs:2902:5:2902:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12433-
| main.rs:2903:5:2903:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12434-
| main.rs:2904:5:2904:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12435-
| main.rs:2905:5:2905:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12436-
| main.rs:2906:5:2906:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12437-
| main.rs:2907:5:2907:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12438-
| main.rs:2908:5:2908:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12439-
| main.rs:2909:5:2909:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12440-
| main.rs:2910:5:2910:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12441-
| main.rs:2911:5:2911:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
12442-
| main.rs:2912:5:2912:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
12443-
| main.rs:2913:5:2913:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12444-
| main.rs:2914:5:2914:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
12445-
| main.rs:2914:5:2914:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
12446-
| main.rs:2914:5:2914:20 | ...::f(...) | T | main.rs:2684:5:2686:5 | dyn MyTrait |
12447-
| main.rs:2914:5:2914:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
12448-
| main.rs:2914:16:2914:19 | true | | {EXTERNAL LOCATION} | bool |
12449-
| main.rs:2915:5:2915:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12425+
| main.rs:2885:22:2885:26 | SelfParam | | {EXTERNAL LOCATION} | & |
12426+
| main.rs:2885:22:2885:26 | SelfParam | TRef | main.rs:2884:5:2886:5 | Self [trait Container] |
12427+
| main.rs:2888:34:2888:34 | c | | {EXTERNAL LOCATION} | & |
12428+
| main.rs:2888:34:2888:34 | c | TRef | main.rs:2888:15:2888:31 | T |
12429+
| main.rs:2888:49:2890:5 | { ... } | | {EXTERNAL LOCATION} | bool |
12430+
| main.rs:2889:9:2889:9 | c | | {EXTERNAL LOCATION} | & |
12431+
| main.rs:2889:9:2889:9 | c | TRef | main.rs:2888:15:2888:31 | T |
12432+
| main.rs:2889:9:2889:21 | c.get_input() | | {EXTERNAL LOCATION} | i64 |
12433+
| main.rs:2889:9:2889:27 | ... == ... | | {EXTERNAL LOCATION} | bool |
12434+
| main.rs:2889:26:2889:27 | 42 | | {EXTERNAL LOCATION} | i32 |
12435+
| main.rs:2893:22:2893:26 | SelfParam | | {EXTERNAL LOCATION} | & |
12436+
| main.rs:2893:22:2893:26 | SelfParam | TRef | main.rs:2882:5:2882:21 | Gen |
12437+
| main.rs:2893:22:2893:26 | SelfParam | TRef.T | main.rs:2892:10:2892:17 | GT |
12438+
| main.rs:2893:35:2895:9 | { ... } | | main.rs:2892:10:2892:17 | GT |
12439+
| main.rs:2894:13:2894:16 | self | | {EXTERNAL LOCATION} | & |
12440+
| main.rs:2894:13:2894:16 | self | TRef | main.rs:2882:5:2882:21 | Gen |
12441+
| main.rs:2894:13:2894:16 | self | TRef.T | main.rs:2892:10:2892:17 | GT |
12442+
| main.rs:2894:13:2894:18 | self.0 | | main.rs:2892:10:2892:17 | GT |
12443+
| main.rs:2898:15:2902:5 | { ... } | | {EXTERNAL LOCATION} | () |
12444+
| main.rs:2899:13:2899:13 | v | | {EXTERNAL LOCATION} | i64 |
12445+
| main.rs:2899:17:2899:34 | ...::default(...) | | {EXTERNAL LOCATION} | i64 |
12446+
| main.rs:2900:13:2900:13 | g | | main.rs:2882:5:2882:21 | Gen |
12447+
| main.rs:2900:13:2900:13 | g | T | {EXTERNAL LOCATION} | i64 |
12448+
| main.rs:2900:17:2900:22 | Gen(...) | | main.rs:2882:5:2882:21 | Gen |
12449+
| main.rs:2900:17:2900:22 | Gen(...) | T | {EXTERNAL LOCATION} | i64 |
12450+
| main.rs:2900:21:2900:21 | v | | {EXTERNAL LOCATION} | i64 |
12451+
| main.rs:2901:13:2901:13 | _ | | {EXTERNAL LOCATION} | bool |
12452+
| main.rs:2901:17:2901:26 | my_get(...) | | {EXTERNAL LOCATION} | bool |
12453+
| main.rs:2901:24:2901:25 | &g | | {EXTERNAL LOCATION} | & |
12454+
| main.rs:2901:24:2901:25 | &g | TRef | main.rs:2882:5:2882:21 | Gen |
12455+
| main.rs:2901:24:2901:25 | &g | TRef.T | {EXTERNAL LOCATION} | i64 |
12456+
| main.rs:2901:25:2901:25 | g | | main.rs:2882:5:2882:21 | Gen |
12457+
| main.rs:2901:25:2901:25 | g | T | {EXTERNAL LOCATION} | i64 |
12458+
| main.rs:2905:11:2940:1 | { ... } | | {EXTERNAL LOCATION} | () |
12459+
| main.rs:2906:5:2906:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12460+
| main.rs:2907:5:2907:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
12461+
| main.rs:2908:5:2908:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
12462+
| main.rs:2908:20:2908:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
12463+
| main.rs:2908:41:2908:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
12464+
| main.rs:2909:5:2909:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12465+
| main.rs:2910:5:2910:41 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12466+
| main.rs:2911:5:2911:45 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12467+
| main.rs:2912:5:2912:30 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12468+
| main.rs:2913:5:2913:21 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12469+
| main.rs:2914:5:2914:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12470+
| main.rs:2915:5:2915:32 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12471+
| main.rs:2916:5:2916:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12472+
| main.rs:2917:5:2917:36 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12473+
| main.rs:2918:5:2918:35 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12474+
| main.rs:2919:5:2919:29 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12475+
| main.rs:2920:5:2920:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12476+
| main.rs:2921:5:2921:24 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12477+
| main.rs:2922:5:2922:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12478+
| main.rs:2923:5:2923:18 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12479+
| main.rs:2924:5:2924:15 | ...::f(...) | | {EXTERNAL LOCATION} | dyn Future |
12480+
| main.rs:2924:5:2924:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
12481+
| main.rs:2925:5:2925:19 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12482+
| main.rs:2926:5:2926:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12483+
| main.rs:2927:5:2927:14 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12484+
| main.rs:2928:5:2928:27 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12485+
| main.rs:2929:5:2929:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12486+
| main.rs:2930:5:2930:43 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12487+
| main.rs:2931:5:2931:15 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12488+
| main.rs:2932:5:2932:17 | ...::f(...) | | {EXTERNAL LOCATION} | () |
12489+
| main.rs:2933:5:2933:28 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12490+
| main.rs:2934:5:2934:23 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12491+
| main.rs:2935:5:2935:41 | ...::test_all_patterns(...) | | {EXTERNAL LOCATION} | () |
12492+
| main.rs:2936:5:2936:49 | ...::box_patterns(...) | | {EXTERNAL LOCATION} | () |
12493+
| main.rs:2937:5:2937:20 | ...::test(...) | | {EXTERNAL LOCATION} | () |
12494+
| main.rs:2938:5:2938:20 | ...::f(...) | | {EXTERNAL LOCATION} | Box |
12495+
| main.rs:2938:5:2938:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
12496+
| main.rs:2938:5:2938:20 | ...::f(...) | T | main.rs:2684:5:2686:5 | dyn MyTrait |
12497+
| main.rs:2938:5:2938:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
12498+
| main.rs:2938:16:2938:19 | true | | {EXTERNAL LOCATION} | bool |
12499+
| main.rs:2939:5:2939:23 | ...::f(...) | | {EXTERNAL LOCATION} | () |
1245012500
| pattern_matching.rs:13:26:133:1 | { ... } | | {EXTERNAL LOCATION} | Option |
1245112501
| pattern_matching.rs:13:26:133:1 | { ... } | T | {EXTERNAL LOCATION} | () |
1245212502
| pattern_matching.rs:14:9:14:13 | value | | {EXTERNAL LOCATION} | Option |
@@ -14523,3 +14573,7 @@ testFailures
1452314573
| closure.rs:232:13:232:16 | _ret | Fixed missing result: type=_ret:bool |
1452414574
| main.rs:2399:13:2399:13 | i | Fixed missing result: type=i:i32 |
1452514575
| main.rs:2399:36:2399:40 | ... + ... | Unexpected result: target=add |
14576+
| main.rs:2889:9:2889:21 | c.get_input() | Unexpected result: target=get_input |
14577+
| main.rs:2889:9:2889:27 | ... == ... | Unexpected result: target=eq |
14578+
| main.rs:2894:13:2894:18 | self.0 | Unexpected result: fieldof=Gen |
14579+
| main.rs:2901:17:2901:26 | my_get(...) | Unexpected result: target=my_get |

0 commit comments

Comments
 (0)