Skip to content

Commit 846ef9a

Browse files
paldepindpaldepind
committed
Rust: Document spurious type
1 parent 84accd1 commit 846ef9a

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
@@ -3802,113 +3802,113 @@ inferType
38023802
| main.rs:1863:22:1863:26 | slice | | file://:0:0:0:0 | [] |
38033803
| main.rs:1863:22:1863:26 | slice | &T | file://:0:0:0:0 | [] |
38043804
| main.rs:1863:22:1863:26 | slice | &T.[T] | main.rs:1830:5:1831:13 | S |
3805-
| main.rs:1864:13:1864:13 | x | | main.rs:1830:5:1831:13 | S |
3806-
| main.rs:1864:17:1864:21 | slice | | file://:0:0:0:0 | & |
3807-
| main.rs:1864:17:1864:21 | slice | | file://:0:0:0:0 | [] |
3808-
| main.rs:1864:17:1864:21 | slice | &T | file://:0:0:0:0 | [] |
3809-
| main.rs:1864:17:1864:21 | slice | &T.[T] | main.rs:1830:5:1831:13 | S |
3810-
| main.rs:1864:17:1864:24 | slice[0] | | main.rs:1830:5:1831:13 | S |
3811-
| main.rs:1864:17:1864:30 | ... .foo() | | main.rs:1830:5:1831:13 | S |
3812-
| main.rs:1864:23:1864:23 | 0 | | {EXTERNAL LOCATION} | i32 |
3813-
| main.rs:1868:13:1868:19 | mut vec | | main.rs:1839:5:1842:5 | MyVec |
3814-
| main.rs:1868:13:1868:19 | mut vec | T | main.rs:1830:5:1831:13 | S |
3815-
| main.rs:1868:23:1868:34 | ...::new(...) | | main.rs:1839:5:1842:5 | MyVec |
3816-
| main.rs:1868:23:1868:34 | ...::new(...) | T | main.rs:1830:5:1831:13 | S |
3817-
| main.rs:1869:9:1869:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
3818-
| main.rs:1869:9:1869:11 | vec | T | main.rs:1830:5:1831:13 | S |
3819-
| main.rs:1869:18:1869:18 | S | | main.rs:1830:5:1831:13 | S |
3820-
| main.rs:1870:9:1870:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
3821-
| main.rs:1870:9:1870:11 | vec | T | main.rs:1830:5:1831:13 | S |
3822-
| main.rs:1870:9:1870:14 | vec[0] | | main.rs:1830:5:1831:13 | S |
3823-
| main.rs:1870:9:1870:20 | ... .foo() | | main.rs:1830:5:1831:13 | S |
3824-
| main.rs:1870:13:1870:13 | 0 | | {EXTERNAL LOCATION} | i32 |
3825-
| main.rs:1870:13:1870:13 | 0 | | {EXTERNAL LOCATION} | usize |
3826-
| main.rs:1872:13:1872:14 | xs | | file://:0:0:0:0 | [] |
3827-
| main.rs:1872:13:1872:14 | xs | | file://:0:0:0:0 | [] |
3828-
| main.rs:1872:13:1872:14 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
3829-
| main.rs:1872:13:1872:14 | xs | [T] | main.rs:1830:5:1831:13 | S |
3830-
| main.rs:1872:21:1872:21 | 1 | | {EXTERNAL LOCATION} | i32 |
3831-
| main.rs:1872:26:1872:28 | [...] | | file://:0:0:0:0 | [] |
3832-
| main.rs:1872:26:1872:28 | [...] | | file://:0:0:0:0 | [] |
3833-
| main.rs:1872:26:1872:28 | [...] | [T;...] | main.rs:1830:5:1831:13 | S |
3834-
| main.rs:1872:26:1872:28 | [...] | [T] | main.rs:1830:5:1831:13 | S |
3835-
| main.rs:1872:27:1872:27 | S | | main.rs:1830:5:1831:13 | S |
3836-
| main.rs:1873:13:1873:13 | x | | main.rs:1830:5:1831:13 | S |
3837-
| main.rs:1873:17:1873:18 | xs | | file://:0:0:0:0 | [] |
3838-
| main.rs:1873:17:1873:18 | xs | | file://:0:0:0:0 | [] |
3839-
| main.rs:1873:17:1873:18 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
3840-
| main.rs:1873:17:1873:18 | xs | [T] | main.rs:1830:5:1831:13 | S |
3841-
| main.rs:1873:17:1873:21 | xs[0] | | main.rs:1830:5:1831:13 | S |
3842-
| main.rs:1873:17:1873:27 | ... .foo() | | main.rs:1830:5:1831:13 | S |
3843-
| main.rs:1873:20:1873:20 | 0 | | {EXTERNAL LOCATION} | i32 |
3844-
| main.rs:1875:23:1875:25 | &xs | | file://:0:0:0:0 | & |
3845-
| main.rs:1875:23:1875:25 | &xs | &T | file://:0:0:0:0 | [] |
3846-
| main.rs:1875:23:1875:25 | &xs | &T | file://:0:0:0:0 | [] |
3847-
| main.rs:1875:23:1875:25 | &xs | &T.[T;...] | main.rs:1830:5:1831:13 | S |
3848-
| main.rs:1875:23:1875:25 | &xs | &T.[T] | main.rs:1830:5:1831:13 | S |
3849-
| main.rs:1875:24:1875:25 | xs | | file://:0:0:0:0 | [] |
3850-
| main.rs:1875:24:1875:25 | xs | | file://:0:0:0:0 | [] |
3851-
| main.rs:1875:24:1875:25 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
3852-
| main.rs:1875:24:1875:25 | xs | [T] | main.rs:1830:5:1831:13 | S |
3853-
| main.rs:1881:25:1881:35 | "Hello, {}" | | {EXTERNAL LOCATION} | str |
3854-
| main.rs:1881:25:1881:45 | ...::format(...) | | {EXTERNAL LOCATION} | String |
3855-
| main.rs:1881:25:1881:45 | { ... } | | {EXTERNAL LOCATION} | String |
3856-
| main.rs:1881:38:1881:45 | "World!" | | {EXTERNAL LOCATION} | str |
3857-
| main.rs:1887:19:1887:23 | SelfParam | | file://:0:0:0:0 | & |
3858-
| main.rs:1887:19:1887:23 | SelfParam | &T | main.rs:1886:5:1888:5 | Self [trait MyAdd] |
3859-
| main.rs:1887:26:1887:30 | value | | main.rs:1886:17:1886:17 | T |
3860-
| main.rs:1892:19:1892:23 | SelfParam | | file://:0:0:0:0 | & |
3861-
| main.rs:1892:19:1892:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
3862-
| main.rs:1892:26:1892:30 | value | | {EXTERNAL LOCATION} | i64 |
3863-
| main.rs:1892:46:1894:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
3864-
| main.rs:1893:13:1893:17 | value | | {EXTERNAL LOCATION} | i64 |
3865-
| main.rs:1899:19:1899:23 | SelfParam | | file://:0:0:0:0 | & |
3866-
| main.rs:1899:19:1899:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
3867-
| main.rs:1899:26:1899:30 | value | | file://:0:0:0:0 | & |
3868-
| main.rs:1899:26:1899:30 | value | &T | {EXTERNAL LOCATION} | i64 |
3869-
| main.rs:1899:47:1901:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
3870-
| main.rs:1900:13:1900:18 | * ... | | {EXTERNAL LOCATION} | i64 |
3871-
| main.rs:1900:14:1900:18 | value | | file://:0:0:0:0 | & |
3872-
| main.rs:1900:14:1900:18 | value | &T | {EXTERNAL LOCATION} | i64 |
3873-
| main.rs:1906:19:1906:23 | SelfParam | | file://:0:0:0:0 | & |
3874-
| main.rs:1906:19:1906:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
3875-
| main.rs:1906:26:1906:30 | value | | {EXTERNAL LOCATION} | bool |
3876-
| main.rs:1906:47:1912:9 | { ... } | | {EXTERNAL LOCATION} | i32 |
3877-
| main.rs:1906:47:1912:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
3878-
| main.rs:1907:13:1911:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i32 |
3879-
| main.rs:1907:13:1911:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i64 |
3880-
| main.rs:1907:16:1907:20 | value | | {EXTERNAL LOCATION} | bool |
3881-
| main.rs:1907:22:1909:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
3882-
| main.rs:1907:22:1909:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
3883-
| main.rs:1908:17:1908:17 | 1 | | {EXTERNAL LOCATION} | i32 |
3884-
| main.rs:1908:17:1908:17 | 1 | | {EXTERNAL LOCATION} | i64 |
3885-
| main.rs:1909:20:1911:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
3886-
| main.rs:1909:20:1911:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
3887-
| main.rs:1910:17:1910:17 | 0 | | {EXTERNAL LOCATION} | i32 |
3888-
| main.rs:1910:17:1910:17 | 0 | | {EXTERNAL LOCATION} | i64 |
3889-
| main.rs:1916:13:1916:13 | x | | {EXTERNAL LOCATION} | i32 |
3890-
| main.rs:1916:13:1916:13 | x | | {EXTERNAL LOCATION} | i64 |
3891-
| main.rs:1916:22:1916:23 | 73 | | {EXTERNAL LOCATION} | i32 |
3892-
| main.rs:1916:22:1916:23 | 73 | | {EXTERNAL LOCATION} | i64 |
3893-
| main.rs:1917:9:1917:9 | x | | {EXTERNAL LOCATION} | i32 |
3894-
| main.rs:1917:9:1917:9 | x | | {EXTERNAL LOCATION} | i64 |
3895-
| main.rs:1917:9:1917:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
3896-
| main.rs:1917:18:1917:21 | 5i64 | | {EXTERNAL LOCATION} | i64 |
3897-
| main.rs:1918:9:1918:9 | x | | {EXTERNAL LOCATION} | i32 |
3898-
| main.rs:1918:9:1918:9 | x | | {EXTERNAL LOCATION} | i64 |
3899-
| main.rs:1918:9:1918:23 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
3900-
| main.rs:1918:18:1918:22 | &5i64 | | file://:0:0:0:0 | & |
3901-
| main.rs:1918:18:1918:22 | &5i64 | &T | {EXTERNAL LOCATION} | i64 |
3902-
| main.rs:1918:19:1918:22 | 5i64 | | {EXTERNAL LOCATION} | i64 |
3903-
| main.rs:1919:9:1919:9 | x | | {EXTERNAL LOCATION} | i32 |
3904-
| main.rs:1919:9:1919:9 | x | | {EXTERNAL LOCATION} | i64 |
3905-
| main.rs:1919:9:1919:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
3906-
| main.rs:1919:18:1919:21 | true | | {EXTERNAL LOCATION} | bool |
3907-
| main.rs:1927:5:1927:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
3908-
| main.rs:1928:5:1928:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
3909-
| main.rs:1928:20:1928:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3910-
| main.rs:1928:41:1928:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3911-
| main.rs:1944:5:1944:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
3805+
| main.rs:1870:13:1870:13 | x | | main.rs:1830:5:1831:13 | S |
3806+
| main.rs:1870:17:1870:21 | slice | | file://:0:0:0:0 | & |
3807+
| main.rs:1870:17:1870:21 | slice | | file://:0:0:0:0 | [] |
3808+
| main.rs:1870:17:1870:21 | slice | &T | file://:0:0:0:0 | [] |
3809+
| main.rs:1870:17:1870:21 | slice | &T.[T] | main.rs:1830:5:1831:13 | S |
3810+
| main.rs:1870:17:1870:24 | slice[0] | | main.rs:1830:5:1831:13 | S |
3811+
| main.rs:1870:17:1870:30 | ... .foo() | | main.rs:1830:5:1831:13 | S |
3812+
| main.rs:1870:23:1870:23 | 0 | | {EXTERNAL LOCATION} | i32 |
3813+
| main.rs:1874:13:1874:19 | mut vec | | main.rs:1839:5:1842:5 | MyVec |
3814+
| main.rs:1874:13:1874:19 | mut vec | T | main.rs:1830:5:1831:13 | S |
3815+
| main.rs:1874:23:1874:34 | ...::new(...) | | main.rs:1839:5:1842:5 | MyVec |
3816+
| main.rs:1874:23:1874:34 | ...::new(...) | T | main.rs:1830:5:1831:13 | S |
3817+
| main.rs:1875:9:1875:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
3818+
| main.rs:1875:9:1875:11 | vec | T | main.rs:1830:5:1831:13 | S |
3819+
| main.rs:1875:18:1875:18 | S | | main.rs:1830:5:1831:13 | S |
3820+
| main.rs:1876:9:1876:11 | vec | | main.rs:1839:5:1842:5 | MyVec |
3821+
| main.rs:1876:9:1876:11 | vec | T | main.rs:1830:5:1831:13 | S |
3822+
| main.rs:1876:9:1876:14 | vec[0] | | main.rs:1830:5:1831:13 | S |
3823+
| main.rs:1876:9:1876:20 | ... .foo() | | main.rs:1830:5:1831:13 | S |
3824+
| main.rs:1876:13:1876:13 | 0 | | {EXTERNAL LOCATION} | i32 |
3825+
| main.rs:1876:13:1876:13 | 0 | | {EXTERNAL LOCATION} | usize |
3826+
| main.rs:1878:13:1878:14 | xs | | file://:0:0:0:0 | [] |
3827+
| main.rs:1878:13:1878:14 | xs | | file://:0:0:0:0 | [] |
3828+
| main.rs:1878:13:1878:14 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
3829+
| main.rs:1878:13:1878:14 | xs | [T] | main.rs:1830:5:1831:13 | S |
3830+
| main.rs:1878:21:1878:21 | 1 | | {EXTERNAL LOCATION} | i32 |
3831+
| main.rs:1878:26:1878:28 | [...] | | file://:0:0:0:0 | [] |
3832+
| main.rs:1878:26:1878:28 | [...] | | file://:0:0:0:0 | [] |
3833+
| main.rs:1878:26:1878:28 | [...] | [T;...] | main.rs:1830:5:1831:13 | S |
3834+
| main.rs:1878:26:1878:28 | [...] | [T] | main.rs:1830:5:1831:13 | S |
3835+
| main.rs:1878:27:1878:27 | S | | main.rs:1830:5:1831:13 | S |
3836+
| main.rs:1879:13:1879:13 | x | | main.rs:1830:5:1831:13 | S |
3837+
| main.rs:1879:17:1879:18 | xs | | file://:0:0:0:0 | [] |
3838+
| main.rs:1879:17:1879:18 | xs | | file://:0:0:0:0 | [] |
3839+
| main.rs:1879:17:1879:18 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
3840+
| main.rs:1879:17:1879:18 | xs | [T] | main.rs:1830:5:1831:13 | S |
3841+
| main.rs:1879:17:1879:21 | xs[0] | | main.rs:1830:5:1831:13 | S |
3842+
| main.rs:1879:17:1879:27 | ... .foo() | | main.rs:1830:5:1831:13 | S |
3843+
| main.rs:1879:20:1879:20 | 0 | | {EXTERNAL LOCATION} | i32 |
3844+
| main.rs:1881:23:1881:25 | &xs | | file://:0:0:0:0 | & |
3845+
| main.rs:1881:23:1881:25 | &xs | &T | file://:0:0:0:0 | [] |
3846+
| main.rs:1881:23:1881:25 | &xs | &T | file://:0:0:0:0 | [] |
3847+
| main.rs:1881:23:1881:25 | &xs | &T.[T;...] | main.rs:1830:5:1831:13 | S |
3848+
| main.rs:1881:23:1881:25 | &xs | &T.[T] | main.rs:1830:5:1831:13 | S |
3849+
| main.rs:1881:24:1881:25 | xs | | file://:0:0:0:0 | [] |
3850+
| main.rs:1881:24:1881:25 | xs | | file://:0:0:0:0 | [] |
3851+
| main.rs:1881:24:1881:25 | xs | [T;...] | main.rs:1830:5:1831:13 | S |
3852+
| main.rs:1881:24:1881:25 | xs | [T] | main.rs:1830:5:1831:13 | S |
3853+
| main.rs:1887:25:1887:35 | "Hello, {}" | | {EXTERNAL LOCATION} | str |
3854+
| main.rs:1887:25:1887:45 | ...::format(...) | | {EXTERNAL LOCATION} | String |
3855+
| main.rs:1887:25:1887:45 | { ... } | | {EXTERNAL LOCATION} | String |
3856+
| main.rs:1887:38:1887:45 | "World!" | | {EXTERNAL LOCATION} | str |
3857+
| main.rs:1893:19:1893:23 | SelfParam | | file://:0:0:0:0 | & |
3858+
| main.rs:1893:19:1893:23 | SelfParam | &T | main.rs:1892:5:1894:5 | Self [trait MyAdd] |
3859+
| main.rs:1893:26:1893:30 | value | | main.rs:1892:17:1892:17 | T |
3860+
| main.rs:1898:19:1898:23 | SelfParam | | file://:0:0:0:0 | & |
3861+
| main.rs:1898:19:1898:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
3862+
| main.rs:1898:26:1898:30 | value | | {EXTERNAL LOCATION} | i64 |
3863+
| main.rs:1898:46:1900:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
3864+
| main.rs:1899:13:1899:17 | value | | {EXTERNAL LOCATION} | i64 |
3865+
| main.rs:1905:19:1905:23 | SelfParam | | file://:0:0:0:0 | & |
3866+
| main.rs:1905:19:1905:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
3867+
| main.rs:1905:26:1905:30 | value | | file://:0:0:0:0 | & |
3868+
| main.rs:1905:26:1905:30 | value | &T | {EXTERNAL LOCATION} | i64 |
3869+
| main.rs:1905:47:1907:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
3870+
| main.rs:1906:13:1906:18 | * ... | | {EXTERNAL LOCATION} | i64 |
3871+
| main.rs:1906:14:1906:18 | value | | file://:0:0:0:0 | & |
3872+
| main.rs:1906:14:1906:18 | value | &T | {EXTERNAL LOCATION} | i64 |
3873+
| main.rs:1912:19:1912:23 | SelfParam | | file://:0:0:0:0 | & |
3874+
| main.rs:1912:19:1912:23 | SelfParam | &T | {EXTERNAL LOCATION} | i64 |
3875+
| main.rs:1912:26:1912:30 | value | | {EXTERNAL LOCATION} | bool |
3876+
| main.rs:1912:47:1918:9 | { ... } | | {EXTERNAL LOCATION} | i32 |
3877+
| main.rs:1912:47:1918:9 | { ... } | | {EXTERNAL LOCATION} | i64 |
3878+
| main.rs:1913:13:1917:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i32 |
3879+
| main.rs:1913:13:1917:13 | if value {...} else {...} | | {EXTERNAL LOCATION} | i64 |
3880+
| main.rs:1913:16:1913:20 | value | | {EXTERNAL LOCATION} | bool |
3881+
| main.rs:1913:22:1915:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
3882+
| main.rs:1913:22:1915:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
3883+
| main.rs:1914:17:1914:17 | 1 | | {EXTERNAL LOCATION} | i32 |
3884+
| main.rs:1914:17:1914:17 | 1 | | {EXTERNAL LOCATION} | i64 |
3885+
| main.rs:1915:20:1917:13 | { ... } | | {EXTERNAL LOCATION} | i32 |
3886+
| main.rs:1915:20:1917:13 | { ... } | | {EXTERNAL LOCATION} | i64 |
3887+
| main.rs:1916:17:1916:17 | 0 | | {EXTERNAL LOCATION} | i32 |
3888+
| main.rs:1916:17:1916:17 | 0 | | {EXTERNAL LOCATION} | i64 |
3889+
| main.rs:1922:13:1922:13 | x | | {EXTERNAL LOCATION} | i32 |
3890+
| main.rs:1922:13:1922:13 | x | | {EXTERNAL LOCATION} | i64 |
3891+
| main.rs:1922:22:1922:23 | 73 | | {EXTERNAL LOCATION} | i32 |
3892+
| main.rs:1922:22:1922:23 | 73 | | {EXTERNAL LOCATION} | i64 |
3893+
| main.rs:1923:9:1923:9 | x | | {EXTERNAL LOCATION} | i32 |
3894+
| main.rs:1923:9:1923:9 | x | | {EXTERNAL LOCATION} | i64 |
3895+
| main.rs:1923:9:1923:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
3896+
| main.rs:1923:18:1923:21 | 5i64 | | {EXTERNAL LOCATION} | i64 |
3897+
| main.rs:1924:9:1924:9 | x | | {EXTERNAL LOCATION} | i32 |
3898+
| main.rs:1924:9:1924:9 | x | | {EXTERNAL LOCATION} | i64 |
3899+
| main.rs:1924:9:1924:23 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
3900+
| main.rs:1924:18:1924:22 | &5i64 | | file://:0:0:0:0 | & |
3901+
| main.rs:1924:18:1924:22 | &5i64 | &T | {EXTERNAL LOCATION} | i64 |
3902+
| main.rs:1924:19:1924:22 | 5i64 | | {EXTERNAL LOCATION} | i64 |
3903+
| main.rs:1925:9:1925:9 | x | | {EXTERNAL LOCATION} | i32 |
3904+
| main.rs:1925:9:1925:9 | x | | {EXTERNAL LOCATION} | i64 |
3905+
| main.rs:1925:9:1925:22 | x.my_add(...) | | {EXTERNAL LOCATION} | i64 |
3906+
| main.rs:1925:18:1925:21 | true | | {EXTERNAL LOCATION} | bool |
3907+
| main.rs:1933:5:1933:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
3908+
| main.rs:1934:5:1934:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
3909+
| main.rs:1934:20:1934:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3910+
| main.rs:1934:41:1934:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
3911+
| main.rs:1950:5:1950:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
39123912
testFailures
39133913
| main.rs:2:5:2:20 | f.write_str(...) | Unexpected result: method=write_str |
39143914
| main.rs:5:5:5:20 | f.debug_struct(...) | Unexpected result: method=debug_struct |

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy