Skip to content

Commit d85a0f0

Browse files
paldepindpaldepind
committed
Rust: Document spurious type
1 parent aaf1fed commit d85a0f0

File tree

2 files changed

+114
-108
lines changed

2 files changed

+114
-108
lines changed

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

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1861,7 +1861,13 @@ mod indexers {
18611861
}
18621862

18631863
fn analyze_slice(slice: &[S]) {
1864-
let x = slice[0].foo(); // $ method=foo type=x:S method=index
1864+
// NOTE: `slice` gets the spurious type `[]` because the desugaring of
1865+
// the index expression adds an implicit borrow. `&slice` has the type
1866+
// `&&[S]`, but the `index` methods takes a `&[S]`, so Rust adds an
1867+
// implicit dereference. We cannot currently handle a position that is
1868+
// both implicitly dereferenced and implicitly borrowed, so the extra
1869+
// type sneaks in.
1870+
let x = slice[0].foo(); // $ method=foo type=x:S method=index SPURIOUS: type=slice:[]
18651871
}
18661872

18671873
pub fn f() {

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

Lines changed: 107 additions & 107 deletions
Original file line numberDiff line numberDiff line change
@@ -2799,111 +2799,111 @@ inferType
27992799
| main.rs:1863:22:1863:26 | slice | | file://:0:0:0:0 | [] |
28002800
| main.rs:1863:22:1863:26 | slice | &T | file://:0:0:0:0 | [] |
28012801
| main.rs:1863:22:1863:26 | slice | &T.[T] | main.rs:1830:5:1831:13 | S |
2802-
| main.rs:1864:13:1864:13 | x | | main.rs:1830:5:1831:13 | S |
2803-
| main.rs:1864:17:1864:21 | slice | | file://:0:0:0:0 | & |
2804-
| main.rs:1864:17:1864:21 | slice | | file://:0:0:0:0 | [] |
2805-
| main.rs:1864:17:1864:21 | slice | &T | file://:0:0:0:0 | [] |
2806-
| main.rs:1864:17:1864:21 | slice | &T.[T] | main.rs:1830:5:1831:13 | S |
2807-
| main.rs:1864:17:1864:24 | slice[0] | | main.rs:1830:5:1831:13 | S |
2808-
| main.rs:1864:17:1864:30 | ... .foo() | | main.rs:1830:5:1831:13 | S |
2809-
| main.rs:1864:23:1864:23 | 0 | | {EXTERNAL LOCATION} | i32 |
2810-
| main.rs:1868:13:1868:19 | mut vec | | main.rs:1839:5:1842:5 | MyVec |
2811-
| main.rs:1868:13:1868:19 | mut vec | T | main.rs:1830:5:1831:13 | S |
2812-
| main.rs:1868:23:1868:34 | ...::new(...) | | main.rs:1839:5:1842:5 | MyVec |
2813-
| main.rs:1868:23:1868:34 | ...::new(...) | T | main.rs:1830:5:1831:13 | S |
2814-
| main.rs:1869:9:1869:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
2815-
| main.rs:1869:9:1869:11 | vec | T | main.rs:1830:5:1831:13 | S |
2816-
| main.rs:1869:18:1869:18 | S | | main.rs:1830:5:1831:13 | S |
2817-
| main.rs:1870:9:1870:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
2818-
| main.rs:1870:9:1870:11 | vec | T | main.rs:1830:5:1831:13 | S |
2819-
| main.rs:1870:9:1870:14 | vec[0] | | main.rs:1830:5:1831:13 | S |
2820-
| main.rs:1870:9:1870:20 | ... .foo() | | main.rs:1830:5:1831:13 | S |
2821-
| main.rs:1870:13:1870:13 | 0 | | {EXTERNAL LOCATION} | i32 |
2822-
| main.rs:1870:13:1870:13 | 0 | | {EXTERNAL LOCATION} | usize |
2823-
| main.rs:1872:13:1872:14 | xs | | file://:0:0:0:0 | [] |
2824-
| main.rs:1872:13:1872:14 | xs | | file://:0:0:0:0 | [] |
2825-
| main.rs:1872:13:1872:14 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
2826-
| main.rs:1872:13:1872:14 | xs | [T] | main.rs:1830:5:1831:13 | S |
2827-
| main.rs:1872:21:1872:21 | 1 | | {EXTERNAL LOCATION} | i32 |
2828-
| main.rs:1872:26:1872:28 | [...] | | file://:0:0:0:0 | [] |
2829-
| main.rs:1872:26:1872:28 | [...] | | file://:0:0:0:0 | [] |
2830-
| main.rs:1872:26:1872:28 | [...] | [T;...] | main.rs:1830:5:1831:13 | S |
2831-
| main.rs:1872:26:1872:28 | [...] | [T] | main.rs:1830:5:1831:13 | S |
2832-
| main.rs:1872:27:1872:27 | S | | main.rs:1830:5:1831:13 | S |
2833-
| main.rs:1873:13:1873:13 | x | | main.rs:1830:5:1831:13 | S |
2834-
| main.rs:1873:17:1873:18 | xs | | file://:0:0:0:0 | [] |
2835-
| main.rs:1873:17:1873:18 | xs | | file://:0:0:0:0 | [] |
2836-
| main.rs:1873:17:1873:18 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
2837-
| main.rs:1873:17:1873:18 | xs | [T] | main.rs:1830:5:1831:13 | S |
2838-
| main.rs:1873:17:1873:21 | xs[0] | | main.rs:1830:5:1831:13 | S |
2839-
| main.rs:1873:17:1873:27 | ... .foo() | | main.rs:1830:5:1831:13 | S |
2840-
| main.rs:1873:20:1873:20 | 0 | | {EXTERNAL LOCATION} | i32 |
2841-
| main.rs:1875:23:1875:25 | &xs | | file://:0:0:0:0 | & |
2842-
| main.rs:1875:23:1875:25 | &xs | &T | file://:0:0:0:0 | [] |
2843-
| main.rs:1875:23:1875:25 | &xs | &T | file://:0:0:0:0 | [] |
2844-
| main.rs:1875:23:1875:25 | &xs | &T.[T;...] | main.rs:1830:5:1831:13 | S |
2845-
| main.rs:1875:23:1875:25 | &xs | &T.[T] | main.rs:1830:5:1831:13 | S |
2846-
| main.rs:1875:24:1875:25 | xs | | file://:0:0:0:0 | [] |
2847-
| main.rs:1875:24:1875:25 | xs | | file://:0:0:0:0 | [] |
2848-
| main.rs:1875:24:1875:25 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
2849-
| main.rs:1875:24:1875:25 | xs | [T] | main.rs:1830:5:1831:13 | S |
2850-
| main.rs:1881:25:1881:35 | "Hello, {}" | | {EXTERNAL LOCATION} | str |
2851-
| main.rs:1881:25:1881:45 | ...::format(...) | | {EXTERNAL LOCATION} | String |
2852-
| main.rs:1881:25:1881:45 | { ... } | | {EXTERNAL LOCATION} | String |
2853-
| main.rs:1881:38:1881:45 | "World!" | | {EXTERNAL LOCATION} | str |
2854-
| main.rs:1887:19:1887:23 | SelfParam | | file://:0:0:0:0 | & |
2855-
| main.rs:1887:19:1887:23 | SelfParam | &T | main.rs:1886:5:1888:5 | Self [trait MyAdd] |
2856-
| main.rs:1887:26:1887:30 | value | | main.rs:1886:17:1886:17 | T |
2857-
| main.rs:1892:19:1892:23 | SelfParam | | file://:0:0:0:0 | & |
2858-
| main.rs:1892:19:1892:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
2859-
| main.rs:1892:26:1892:30 | value | | {EXTERNAL LOCATION} | i64 |
2860-
| main.rs:1892:46:1894:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
2861-
| main.rs:1893:13:1893:17 | value | | {EXTERNAL LOCATION} | i64 |
2862-
| main.rs:1899:19:1899:23 | SelfParam | | file://:0:0:0:0 | & |
2863-
| main.rs:1899:19:1899:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
2864-
| main.rs:1899:26:1899:30 | value | | file://:0:0:0:0 | & |
2865-
| main.rs:1899:26:1899:30 | value | &T | {EXTERNAL LOCATION} | i64 |
2866-
| main.rs:1899:47:1901:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
2867-
| main.rs:1900:13:1900:18 | * ... | | {EXTERNAL LOCATION} | i64 |
2868-
| main.rs:1900:14:1900:18 | value | | file://:0:0:0:0 | & |
2869-
| main.rs:1900:14:1900:18 | value | &T | {EXTERNAL LOCATION} | i64 |
2870-
| main.rs:1906:19:1906:23 | SelfParam | | file://:0:0:0:0 | & |
2871-
| main.rs:1906:19:1906:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
2872-
| main.rs:1906:26:1906:30 | value | | {EXTERNAL LOCATION} | bool |
2873-
| main.rs:1906:47:1912:9 | { ... } | | {EXTERNAL LOCATION} | i32 |
2874-
| main.rs:1906:47:1912:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
2875-
| main.rs:1907:13:1911:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i32 |
2876-
| main.rs:1907:13:1911:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i64 |
2877-
| main.rs:1907:16:1907:20 | value | | {EXTERNAL LOCATION} | bool |
2878-
| main.rs:1907:22:1909:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
2879-
| main.rs:1907:22:1909:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
2880-
| main.rs:1908:17:1908:17 | 1 | | {EXTERNAL LOCATION} | i32 |
2881-
| main.rs:1908:17:1908:17 | 1 | | {EXTERNAL LOCATION} | i64 |
2882-
| main.rs:1909:20:1911:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
2883-
| main.rs:1909:20:1911:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
2884-
| main.rs:1910:17:1910:17 | 0 | | {EXTERNAL LOCATION} | i32 |
2885-
| main.rs:1910:17:1910:17 | 0 | | {EXTERNAL LOCATION} | i64 |
2886-
| main.rs:1916:13:1916:13 | x | | {EXTERNAL LOCATION} | i32 |
2887-
| main.rs:1916:13:1916:13 | x | | {EXTERNAL LOCATION} | i64 |
2888-
| main.rs:1916:22:1916:23 | 73 | | {EXTERNAL LOCATION} | i32 |
2889-
| main.rs:1916:22:1916:23 | 73 | | {EXTERNAL LOCATION} | i64 |
2890-
| main.rs:1917:9:1917:9 | x | | {EXTERNAL LOCATION} | i32 |
2891-
| main.rs:1917:9:1917:9 | x | | {EXTERNAL LOCATION} | i64 |
2892-
| main.rs:1917:9:1917:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
2893-
| main.rs:1917:18:1917:21 | 5i64 | | {EXTERNAL LOCATION} | i64 |
2894-
| main.rs:1918:9:1918:9 | x | | {EXTERNAL LOCATION} | i32 |
2895-
| main.rs:1918:9:1918:9 | x | | {EXTERNAL LOCATION} | i64 |
2896-
| main.rs:1918:9:1918:23 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
2897-
| main.rs:1918:18:1918:22 | &5i64 | | file://:0:0:0:0 | & |
2898-
| main.rs:1918:18:1918:22 | &5i64 | &T | {EXTERNAL LOCATION} | i64 |
2899-
| main.rs:1918:19:1918:22 | 5i64 | | {EXTERNAL LOCATION} | i64 |
2900-
| main.rs:1919:9:1919:9 | x | | {EXTERNAL LOCATION} | i32 |
2901-
| main.rs:1919:9:1919:9 | x | | {EXTERNAL LOCATION} | i64 |
2902-
| main.rs:1919:9:1919:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
2903-
| main.rs:1919:18:1919:21 | true | | {EXTERNAL LOCATION} | bool |
2904-
| main.rs:1927:5:1927:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
2905-
| main.rs:1928:5:1928:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
2906-
| main.rs:1928:20:1928:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2907-
| main.rs:1928:41:1928:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2908-
| main.rs:1944:5:1944:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
2802+
| main.rs:1870:13:1870:13 | x | | main.rs:1830:5:1831:13 | S |
2803+
| main.rs:1870:17:1870:21 | slice | | file://:0:0:0:0 | & |
2804+
| main.rs:1870:17:1870:21 | slice | | file://:0:0:0:0 | [] |
2805+
| main.rs:1870:17:1870:21 | slice | &T | file://:0:0:0:0 | [] |
2806+
| main.rs:1870:17:1870:21 | slice | &T.[T] | main.rs:1830:5:1831:13 | S |
2807+
| main.rs:1870:17:1870:24 | slice[0] | | main.rs:1830:5:1831:13 | S |
2808+
| main.rs:1870:17:1870:30 | ... .foo() | | main.rs:1830:5:1831:13 | S |
2809+
| main.rs:1870:23:1870:23 | 0 | | {EXTERNAL LOCATION} | i32 |
2810+
| main.rs:1874:13:1874:19 | mut vec | | main.rs:1839:5:1842:5 | MyVec |
2811+
| main.rs:1874:13:1874:19 | mut vec | T | main.rs:1830:5:1831:13 | S |
2812+
| main.rs:1874:23:1874:34 | ...::new(...) | | main.rs:1839:5:1842:5 | MyVec |
2813+
| main.rs:1874:23:1874:34 | ...::new(...) | T | main.rs:1830:5:1831:13 | S |
2814+
| main.rs:1875:9:1875:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
2815+
| main.rs:1875:9:1875:11 | vec | T | main.rs:1830:5:1831:13 | S |
2816+
| main.rs:1875:18:1875:18 | S | | main.rs:1830:5:1831:13 | S |
2817+
| main.rs:1876:9:1876:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
2818+
| main.rs:1876:9:1876:11 | vec | T | main.rs:1830:5:1831:13 | S |
2819+
| main.rs:1876:9:1876:14 | vec[0] | | main.rs:1830:5:1831:13 | S |
2820+
| main.rs:1876:9:1876:20 | ... .foo() | | main.rs:1830:5:1831:13 | S |
2821+
| main.rs:1876:13:1876:13 | 0 | | {EXTERNAL LOCATION} | i32 |
2822+
| main.rs:1876:13:1876:13 | 0 | | {EXTERNAL LOCATION} | usize |
2823+
| main.rs:1878:13:1878:14 | xs | | file://:0:0:0:0 | [] |
2824+
| main.rs:1878:13:1878:14 | xs | | file://:0:0:0:0 | [] |
2825+
| main.rs:1878:13:1878:14 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
2826+
| main.rs:1878:13:1878:14 | xs | [T] | main.rs:1830:5:1831:13 | S |
2827+
| main.rs:1878:21:1878:21 | 1 | | {EXTERNAL LOCATION} | i32 |
2828+
| main.rs:1878:26:1878:28 | [...] | | file://:0:0:0:0 | [] |
2829+
| main.rs:1878:26:1878:28 | [...] | | file://:0:0:0:0 | [] |
2830+
| main.rs:1878:26:1878:28 | [...] | [T;...] | main.rs:1830:5:1831:13 | S |
2831+
| main.rs:1878:26:1878:28 | [...] | [T] | main.rs:1830:5:1831:13 | S |
2832+
| main.rs:1878:27:1878:27 | S | | main.rs:1830:5:1831:13 | S |
2833+
| main.rs:1879:13:1879:13 | x | | main.rs:1830:5:1831:13 | S |
2834+
| main.rs:1879:17:1879:18 | xs | | file://:0:0:0:0 | [] |
2835+
| main.rs:1879:17:1879:18 | xs | | file://:0:0:0:0 | [] |
2836+
| main.rs:1879:17:1879:18 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
2837+
| main.rs:1879:17:1879:18 | xs | [T] | main.rs:1830:5:1831:13 | S |
2838+
| main.rs:1879:17:1879:21 | xs[0] | | main.rs:1830:5:1831:13 | S |
2839+
| main.rs:1879:17:1879:27 | ... .foo() | | main.rs:1830:5:1831:13 | S |
2840+
| main.rs:1879:20:1879:20 | 0 | | {EXTERNAL LOCATION} | i32 |
2841+
| main.rs:1881:23:1881:25 | &xs | | file://:0:0:0:0 | & |
2842+
| main.rs:1881:23:1881:25 | &xs | &T | file://:0:0:0:0 | [] |
2843+
| main.rs:1881:23:1881:25 | &xs | &T | file://:0:0:0:0 | [] |
2844+
| main.rs:1881:23:1881:25 | &xs | &T.[T;...] | main.rs:1830:5:1831:13 | S |
2845+
| main.rs:1881:23:1881:25 | &xs | &T.[T] | main.rs:1830:5:1831:13 | S |
2846+
| main.rs:1881:24:1881:25 | xs | | file://:0:0:0:0 | [] |
2847+
| main.rs:1881:24:1881:25 | xs | | file://:0:0:0:0 | [] |
2848+
| main.rs:1881:24:1881:25 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
2849+
| main.rs:1881:24:1881:25 | xs | [T] | main.rs:1830:5:1831:13 | S |
2850+
| main.rs:1887:25:1887:35 | "Hello, {}" | | {EXTERNAL LOCATION} | str |
2851+
| main.rs:1887:25:1887:45 | ...::format(...) | | {EXTERNAL LOCATION} | String |
2852+
| main.rs:1887:25:1887:45 | { ... } | | {EXTERNAL LOCATION} | String |
2853+
| main.rs:1887:38:1887:45 | "World!" | | {EXTERNAL LOCATION} | str |
2854+
| main.rs:1893:19:1893:23 | SelfParam | | file://:0:0:0:0 | & |
2855+
| main.rs:1893:19:1893:23 | SelfParam | &T | main.rs:1892:5:1894:5 | Self [trait MyAdd] |
2856+
| main.rs:1893:26:1893:30 | value | | main.rs:1892:17:1892:17 | T |
2857+
| main.rs:1898:19:1898:23 | SelfParam | | file://:0:0:0:0 | & |
2858+
| main.rs:1898:19:1898:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
2859+
| main.rs:1898:26:1898:30 | value | | {EXTERNAL LOCATION} | i64 |
2860+
| main.rs:1898:46:1900:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
2861+
| main.rs:1899:13:1899:17 | value | | {EXTERNAL LOCATION} | i64 |
2862+
| main.rs:1905:19:1905:23 | SelfParam | | file://:0:0:0:0 | & |
2863+
| main.rs:1905:19:1905:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
2864+
| main.rs:1905:26:1905:30 | value | | file://:0:0:0:0 | & |
2865+
| main.rs:1905:26:1905:30 | value | &T | {EXTERNAL LOCATION} | i64 |
2866+
| main.rs:1905:47:1907:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
2867+
| main.rs:1906:13:1906:18 | * ... | | {EXTERNAL LOCATION} | i64 |
2868+
| main.rs:1906:14:1906:18 | value | | file://:0:0:0:0 | & |
2869+
| main.rs:1906:14:1906:18 | value | &T | {EXTERNAL LOCATION} | i64 |
2870+
| main.rs:1912:19:1912:23 | SelfParam | | file://:0:0:0:0 | & |
2871+
| main.rs:1912:19:1912:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
2872+
| main.rs:1912:26:1912:30 | value | | {EXTERNAL LOCATION} | bool |
2873+
| main.rs:1912:47:1918:9 | { ... } | | {EXTERNAL LOCATION} | i32 |
2874+
| main.rs:1912:47:1918:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
2875+
| main.rs:1913:13:1917:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i32 |
2876+
| main.rs:1913:13:1917:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i64 |
2877+
| main.rs:1913:16:1913:20 | value | | {EXTERNAL LOCATION} | bool |
2878+
| main.rs:1913:22:1915:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
2879+
| main.rs:1913:22:1915:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
2880+
| main.rs:1914:17:1914:17 | 1 | | {EXTERNAL LOCATION} | i32 |
2881+
| main.rs:1914:17:1914:17 | 1 | | {EXTERNAL LOCATION} | i64 |
2882+
| main.rs:1915:20:1917:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
2883+
| main.rs:1915:20:1917:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
2884+
| main.rs:1916:17:1916:17 | 0 | | {EXTERNAL LOCATION} | i32 |
2885+
| main.rs:1916:17:1916:17 | 0 | | {EXTERNAL LOCATION} | i64 |
2886+
| main.rs:1922:13:1922:13 | x | | {EXTERNAL LOCATION} | i32 |
2887+
| main.rs:1922:13:1922:13 | x | | {EXTERNAL LOCATION} | i64 |
2888+
| main.rs:1922:22:1922:23 | 73 | | {EXTERNAL LOCATION} | i32 |
2889+
| main.rs:1922:22:1922:23 | 73 | | {EXTERNAL LOCATION} | i64 |
2890+
| main.rs:1923:9:1923:9 | x | | {EXTERNAL LOCATION} | i32 |
2891+
| main.rs:1923:9:1923:9 | x | | {EXTERNAL LOCATION} | i64 |
2892+
| main.rs:1923:9:1923:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
2893+
| main.rs:1923:18:1923:21 | 5i64 | | {EXTERNAL LOCATION} | i64 |
2894+
| main.rs:1924:9:1924:9 | x | | {EXTERNAL LOCATION} | i32 |
2895+
| main.rs:1924:9:1924:9 | x | | {EXTERNAL LOCATION} | i64 |
2896+
| main.rs:1924:9:1924:23 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
2897+
| main.rs:1924:18:1924:22 | &5i64 | | file://:0:0:0:0 | & |
2898+
| main.rs:1924:18:1924:22 | &5i64 | &T | {EXTERNAL LOCATION} | i64 |
2899+
| main.rs:1924:19:1924:22 | 5i64 | | {EXTERNAL LOCATION} | i64 |
2900+
| main.rs:1925:9:1925:9 | x | | {EXTERNAL LOCATION} | i32 |
2901+
| main.rs:1925:9:1925:9 | x | | {EXTERNAL LOCATION} | i64 |
2902+
| main.rs:1925:9:1925:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
2903+
| main.rs:1925:18:1925:21 | true | | {EXTERNAL LOCATION} | bool |
2904+
| main.rs:1933:5:1933:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
2905+
| main.rs:1934:5:1934:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
2906+
| main.rs:1934:20:1934:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2907+
| main.rs:1934:41:1934:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
2908+
| main.rs:1950:5:1950:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
29092909
testFailures

0 commit comments

Comments
 (0)