From b8a8a160c5e481b5bd52372515a4d942aecb0975 Mon Sep 17 00:00:00 2001
From: Tom Hvitved <hvitved@github.com>
Date: Mon, 19 Jan 2026 14:53:10 +0100
Subject: [PATCH] Rust: More type inference tests

---
 .../PathResolutionConsistency.expected        |   1 +
 .../library-tests/type-inference/closure.rs   |  87 +++
 .../test/library-tests/type-inference/main.rs |  24 +
 .../type-inference/regressions.rs             |  49 ++
 .../type-inference/type-inference.expected    | 571 +++++++++++++++---
 5 files changed, 648 insertions(+), 84 deletions(-)

diff --git a/rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected b/rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
index 2ac439e085b..ffc2576a05e 100644
--- a/rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
+++ b/rust/ql/test/library-tests/type-inference/CONSISTENCY/PathResolutionConsistency.expected
@@ -2,3 +2,4 @@ multipleResolvedTargets
 | main.rs:2223:9:2223:31 | ... .my_add(...) |
 | main.rs:2225:9:2225:29 | ... .my_add(...) |
 | main.rs:2740:13:2740:17 | x.f() |
+| regressions.rs:179:17:179:27 | ... + ... |
diff --git a/rust/ql/test/library-tests/type-inference/closure.rs b/rust/ql/test/library-tests/type-inference/closure.rs
index cc756a6b267..cbcf154563a 100644
--- a/rust/ql/test/library-tests/type-inference/closure.rs
+++ b/rust/ql/test/library-tests/type-inference/closure.rs
@@ -152,3 +152,90 @@ mod dyn_fn_once {
         let _r2 = apply_boxed(Box::new(|_: i64| true), 3); // $ target=apply_boxed target=new type=_r2:bool
     }
 }
+
+mod closure_infer_param {
+    fn apply1<F: Fn(i64) -> i64>(f: F, a: i64) -> i64 {
+        f(a)
+    }
+
+    fn apply2(f: impl Fn(i64) -> i64, a: i64) -> i64 {
+        f(a)
+    }
+
+    fn apply3(f: &dyn Fn(i64) -> i64, a: i64) -> i64 {
+        f(a)
+    }
+
+    fn apply4<F: FnMut(i64) -> i64>(mut f: F, a: i64) -> i64 {
+        f(a)
+    }
+
+    fn apply5(f: &mut dyn FnMut(i64) -> i64, a: i64) -> i64 {
+        f(a)
+    }
+
+    fn apply6<T>(f: impl Fn(T) -> i64, a: T) -> i64 {
+        f(a)
+    }
+
+    fn apply7<T, F: FnMut(T) -> i64>(mut f: F, a: T) -> i64 {
+        f(a)
+    }
+
+    fn test() {
+        let f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply1(f, 1i64); // $ target=apply1
+
+        let f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply2(f, 2i64); // $ target=apply2
+
+        let f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply3(&f, 3i64); // $ target=apply3
+
+        let f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply4(f, 4i64); // $ target=apply4
+
+        let mut f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply5(&mut f, 5i64); // $ target=apply5
+
+        let f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply6(f, 6i64); // $ target=apply6
+
+        let f = |x| x; // $ MISSING: type=x:i64
+        let _r = apply7(f, 7i64); // $ target=apply7
+    }
+}
+
+mod implicit_deref {
+    use std::ops::Deref;
+
+    struct S<T>(T);
+
+    impl<T> Deref for S<T> {
+        type Target = dyn Fn(T) -> bool;
+
+        fn deref(&self) -> &Self::Target {
+            &|_| false
+        }
+    }
+
+    pub fn test() {
+        let x = 0i64;
+        let v = Default::default(); // $ MISSING: type=v:i64 target=default
+        let s = S(v);
+        let _ret = s(x); // $ MISSING: type=_ret:bool
+
+        let x = 0i32;
+        let v = Default::default(); // $ MISSING: type=v:i32 target=default
+        let s = S(v);
+        let s_ref = &s;
+        let _ret = s_ref(x); // $ MISSING: type=_ret:bool
+
+        // The call below is not an implicit deref, instead it will target
+        // `impl<A, F> FnOnce<A> for &F` from
+        // https://doc.rust-lang.org/std/ops/trait.FnOnce.html#impl-FnOnce%3CA%3E-for-%26F
+        // and we currently cannot handle inferring the output type
+        let c = |x| x; // $ MISSING: type=x:i64
+        (&c)(x); // $ MISSING: type=_:i64
+    }
+}
diff --git a/rust/ql/test/library-tests/type-inference/main.rs b/rust/ql/test/library-tests/type-inference/main.rs
index 6c9f2c801d5..3e3d9f85108 100644
--- a/rust/ql/test/library-tests/type-inference/main.rs
+++ b/rust/ql/test/library-tests/type-inference/main.rs
@@ -2759,6 +2759,30 @@ mod dereference;
 mod dyn_type;
 mod regressions;
 
+mod arg_trait_bounds {
+    struct Gen<T>(T);
+
+    trait Container<T> {
+        fn get_input(&self) -> T;
+    }
+
+    fn my_get<T: Container<i64>>(c: &T) -> bool {
+        c.get_input() == 42 // $ target=get_input target=eq
+    }
+
+    impl<GT: Copy> Container<GT> for Gen<GT> {
+        fn get_input(&self) -> GT {
+            self.0 // $ fieldof=Gen
+        }
+    }
+
+    fn test() {
+        let v = Default::default(); // $ MISSING: type=v:i64 target=default
+        let g = Gen(v);
+        let _ = my_get(&g); // $ target=my_get
+    }
+}
+
 fn main() {
     field_access::f(); // $ target=f
     method_impl::f(); // $ target=f
diff --git a/rust/ql/test/library-tests/type-inference/regressions.rs b/rust/ql/test/library-tests/type-inference/regressions.rs
index e1b47479f5d..21ab5fc24a0 100644
--- a/rust/ql/test/library-tests/type-inference/regressions.rs
+++ b/rust/ql/test/library-tests/type-inference/regressions.rs
@@ -130,3 +130,52 @@ mod regression4 {
         }
     }
 }
+
+mod regression5 {
+    struct S1;
+    struct S2<T2>(T2);
+
+    impl From<&S1> for S2<S1> {
+        fn from(_: &S1) -> Self {
+            S2(S1)
+        }
+    }
+
+    impl<T> From<T> for S2<T> {
+        fn from(t: T) -> Self {
+            S2(t)
+        }
+    }
+
+    fn foo() -> S2<S1> {
+        let x = S1.into(); // $ target=into
+        x
+    }
+}
+
+mod regression6 {
+    use std::ops::Add;
+    struct S<T>(T);
+
+    impl<T> Add for S<T> {
+        type Output = Self;
+
+        // add1
+        fn add(self, _rhs: Self) -> Self::Output {
+            self
+        }
+    }
+
+    impl<T> Add<T> for S<T> {
+        type Output = Self;
+
+        // add2
+        fn add(self, _rhs: T) -> Self::Output {
+            self
+        }
+    }
+
+    fn foo() {
+        let x = S(0) + S(1); // $ target=add1 $ SPURIOUS: target=add2 type=x:T.T.i32
+    }
+}
diff --git a/rust/ql/test/library-tests/type-inference/type-inference.expected b/rust/ql/test/library-tests/type-inference/type-inference.expected
index 1e2c753b242..0beb4a4ffb6 100644
--- a/rust/ql/test/library-tests/type-inference/type-inference.expected
+++ b/rust/ql/test/library-tests/type-inference/type-inference.expected
@@ -661,6 +661,104 @@ inferCertainType
 | closure.rs:152:31:152:53 | ...::new(...) | A | {EXTERNAL LOCATION} | Global |
 | closure.rs:152:41:152:41 | _ |  | {EXTERNAL LOCATION} | i64 |
 | closure.rs:152:49:152:52 | true |  | {EXTERNAL LOCATION} | bool |
+| closure.rs:157:34:157:34 | f |  | closure.rs:157:15:157:31 | F |
+| closure.rs:157:40:157:40 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:157:55:159:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:158:9:158:9 | f |  | closure.rs:157:15:157:31 | F |
+| closure.rs:158:11:158:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:161:15:161:15 | f |  | closure.rs:161:18:161:36 | impl ... |
+| closure.rs:161:39:161:39 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:161:54:163:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:162:9:162:9 | f |  | closure.rs:161:18:161:36 | impl ... |
+| closure.rs:162:11:162:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:15:165:15 | f |  | {EXTERNAL LOCATION} | & |
+| closure.rs:165:15:165:15 | f | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:165:15:165:15 | f | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:165:15:165:15 | f | TRef.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:15:165:15 | f | TRef.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:39:165:39 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:54:167:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:9:166:9 | f |  | {EXTERNAL LOCATION} | & |
+| closure.rs:166:9:166:9 | f | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:166:9:166:9 | f | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:166:9:166:9 | f | TRef.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:9:166:9 | f | TRef.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:11:166:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:169:41:169:41 | f |  | closure.rs:169:15:169:34 | F |
+| closure.rs:169:47:169:47 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:169:62:171:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:170:9:170:9 | f |  | closure.rs:169:15:169:34 | F |
+| closure.rs:170:11:170:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:15:173:15 | f |  | {EXTERNAL LOCATION} | &mut |
+| closure.rs:173:15:173:15 | f | TRefMut | {EXTERNAL LOCATION} | dyn FnMut |
+| closure.rs:173:15:173:15 | f | TRefMut.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:173:15:173:15 | f | TRefMut.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:15:173:15 | f | TRefMut.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:46:173:46 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:61:175:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:9:174:9 | f |  | {EXTERNAL LOCATION} | &mut |
+| closure.rs:174:9:174:9 | f | TRefMut | {EXTERNAL LOCATION} | dyn FnMut |
+| closure.rs:174:9:174:9 | f | TRefMut.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:174:9:174:9 | f | TRefMut.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:9:174:9 | f | TRefMut.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:11:174:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:177:18:177:18 | f |  | closure.rs:177:21:177:37 | impl ... |
+| closure.rs:177:40:177:40 | a |  | closure.rs:177:15:177:15 | T |
+| closure.rs:177:53:179:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:178:9:178:9 | f |  | closure.rs:177:21:177:37 | impl ... |
+| closure.rs:178:11:178:11 | a |  | closure.rs:177:15:177:15 | T |
+| closure.rs:181:42:181:42 | f |  | closure.rs:181:18:181:35 | F |
+| closure.rs:181:48:181:48 | a |  | closure.rs:181:15:181:15 | T |
+| closure.rs:181:61:183:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:182:9:182:9 | f |  | closure.rs:181:18:181:35 | F |
+| closure.rs:182:11:182:11 | a |  | closure.rs:181:15:181:15 | T |
+| closure.rs:185:15:206:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| closure.rs:187:13:187:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:187:18:187:32 | apply1(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:187:28:187:31 | 1i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:190:13:190:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:190:18:190:32 | apply2(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:190:28:190:31 | 2i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:193:13:193:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:193:18:193:33 | apply3(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:193:25:193:26 | &f |  | {EXTERNAL LOCATION} | & |
+| closure.rs:193:29:193:32 | 3i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:196:13:196:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:196:18:196:32 | apply4(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:196:28:196:31 | 4i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:199:13:199:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:199:18:199:37 | apply5(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:199:25:199:30 | &mut f |  | {EXTERNAL LOCATION} | &mut |
+| closure.rs:199:33:199:36 | 5i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:202:13:202:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:202:18:202:32 | apply6(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:202:28:202:31 | 6i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:205:13:205:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:205:18:205:32 | apply7(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:205:28:205:31 | 7i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:217:18:217:22 | SelfParam |  | {EXTERNAL LOCATION} | & |
+| closure.rs:217:18:217:22 | SelfParam | TRef | closure.rs:212:5:212:19 | S |
+| closure.rs:217:18:217:22 | SelfParam | TRef.T | closure.rs:214:10:214:10 | T |
+| closure.rs:217:42:219:9 | { ... } |  | {EXTERNAL LOCATION} | & |
+| closure.rs:217:42:219:9 | { ... } | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:217:42:219:9 | { ... } | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:217:42:219:9 | { ... } | TRef.dyn(Args).T0 | closure.rs:214:10:214:10 | T |
+| closure.rs:217:42:219:9 | { ... } | TRef.dyn(Output) | {EXTERNAL LOCATION} | bool |
+| closure.rs:218:13:218:22 | &... |  | {EXTERNAL LOCATION} | & |
+| closure.rs:218:18:218:22 | false |  | {EXTERNAL LOCATION} | bool |
+| closure.rs:222:19:240:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| closure.rs:223:13:223:13 | x |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:223:17:223:20 | 0i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:226:22:226:22 | x |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:228:13:228:13 | x |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:228:17:228:20 | 0i32 |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:231:13:231:17 | s_ref |  | {EXTERNAL LOCATION} | & |
+| closure.rs:231:21:231:22 | &s |  | {EXTERNAL LOCATION} | & |
+| closure.rs:232:20:232:24 | s_ref |  | {EXTERNAL LOCATION} | & |
+| closure.rs:232:26:232:26 | x |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:239:9:239:12 | (...) |  | {EXTERNAL LOCATION} | & |
+| closure.rs:239:10:239:11 | &c |  | {EXTERNAL LOCATION} | & |
+| closure.rs:239:14:239:14 | x |  | {EXTERNAL LOCATION} | i32 |
 | dereference.rs:13:14:13:18 | SelfParam |  | {EXTERNAL LOCATION} | & |
 | dereference.rs:13:14:13:18 | SelfParam | TRef | dereference.rs:5:1:7:1 | MyIntPointer |
 | dereference.rs:13:29:15:5 | { ... } |  | {EXTERNAL LOCATION} | & |
@@ -3715,48 +3813,65 @@ inferCertainType
 | main.rs:2747:21:2747:21 | y |  | {EXTERNAL LOCATION} | & |
 | main.rs:2750:13:2750:13 | y |  | {EXTERNAL LOCATION} | usize |
 | main.rs:2751:23:2751:23 | y |  | {EXTERNAL LOCATION} | usize |
-| main.rs:2762:11:2797:1 | { ... } |  | {EXTERNAL LOCATION} | () |
-| main.rs:2763:5:2763:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2764:5:2764:20 | ...::f(...) |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2765:5:2765:60 | ...::g(...) |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2765:20:2765:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2765:41:2765:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2766:5:2766:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2767:5:2767:41 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2768:5:2768:45 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2769:5:2769:30 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2770:5:2770:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2771:5:2771:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2772:5:2772:32 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2773:5:2773:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2774:5:2774:36 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2775:5:2775:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2776:5:2776:29 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2777:5:2777:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2778:5:2778:24 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2779:5:2779:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2780:5:2780:18 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2781:5:2781:15 | ...::f(...) |  | {EXTERNAL LOCATION} | dyn Future |
-| main.rs:2781:5:2781:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
-| main.rs:2782:5:2782:19 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2783:5:2783:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2784:5:2784:14 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2785:5:2785:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2786:5:2786:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2787:5:2787:43 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2788:5:2788:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2789:5:2789:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2790:5:2790:28 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2791:5:2791:23 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2792:5:2792:41 | ...::test_all_patterns(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2793:5:2793:49 | ...::box_patterns(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2794:5:2794:20 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2795:5:2795:20 | ...::f(...) |  | {EXTERNAL LOCATION} | Box |
-| main.rs:2795:5:2795:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
-| main.rs:2795:5:2795:20 | ...::f(...) | T | main.rs:2547:5:2549:5 | dyn MyTrait |
-| main.rs:2795:5:2795:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
-| main.rs:2795:16:2795:19 | true |  | {EXTERNAL LOCATION} | bool |
-| main.rs:2796:5:2796:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2766:22:2766:26 | SelfParam |  | {EXTERNAL LOCATION} | & |
+| main.rs:2766:22:2766:26 | SelfParam | TRef | main.rs:2765:5:2767:5 | Self [trait Container] |
+| main.rs:2769:34:2769:34 | c |  | {EXTERNAL LOCATION} | & |
+| main.rs:2769:34:2769:34 | c | TRef | main.rs:2769:15:2769:31 | T |
+| main.rs:2769:49:2771:5 | { ... } |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2770:9:2770:9 | c |  | {EXTERNAL LOCATION} | & |
+| main.rs:2770:9:2770:9 | c | TRef | main.rs:2769:15:2769:31 | T |
+| main.rs:2774:22:2774:26 | SelfParam |  | {EXTERNAL LOCATION} | & |
+| main.rs:2774:22:2774:26 | SelfParam | TRef | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2774:22:2774:26 | SelfParam | TRef.T | main.rs:2773:10:2773:17 | GT |
+| main.rs:2774:35:2776:9 | { ... } |  | main.rs:2773:10:2773:17 | GT |
+| main.rs:2775:13:2775:16 | self |  | {EXTERNAL LOCATION} | & |
+| main.rs:2775:13:2775:16 | self | TRef | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2775:13:2775:16 | self | TRef.T | main.rs:2773:10:2773:17 | GT |
+| main.rs:2779:15:2783:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| main.rs:2782:17:2782:26 | my_get(...) |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2782:24:2782:25 | &g |  | {EXTERNAL LOCATION} | & |
+| main.rs:2786:11:2821:1 | { ... } |  | {EXTERNAL LOCATION} | () |
+| main.rs:2787:5:2787:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2788:5:2788:20 | ...::f(...) |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2789:5:2789:60 | ...::g(...) |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2789:20:2789:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2789:41:2789:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2790:5:2790:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2791:5:2791:41 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2792:5:2792:45 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2793:5:2793:30 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2794:5:2794:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2795:5:2795:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2796:5:2796:32 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2797:5:2797:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2798:5:2798:36 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2799:5:2799:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2800:5:2800:29 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2801:5:2801:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2802:5:2802:24 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2803:5:2803:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2804:5:2804:18 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2805:5:2805:15 | ...::f(...) |  | {EXTERNAL LOCATION} | dyn Future |
+| main.rs:2805:5:2805:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
+| main.rs:2806:5:2806:19 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2807:5:2807:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2808:5:2808:14 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2809:5:2809:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2810:5:2810:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2811:5:2811:43 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2812:5:2812:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2813:5:2813:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2814:5:2814:28 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2815:5:2815:23 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2816:5:2816:41 | ...::test_all_patterns(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2817:5:2817:49 | ...::box_patterns(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2818:5:2818:20 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2819:5:2819:20 | ...::f(...) |  | {EXTERNAL LOCATION} | Box |
+| main.rs:2819:5:2819:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
+| main.rs:2819:5:2819:20 | ...::f(...) | T | main.rs:2547:5:2549:5 | dyn MyTrait |
+| main.rs:2819:5:2819:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
+| main.rs:2819:16:2819:19 | true |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2820:5:2820:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
 | overloading.rs:4:19:4:23 | SelfParam |  | {EXTERNAL LOCATION} | & |
 | overloading.rs:4:19:4:23 | SelfParam | TRef | overloading.rs:2:5:11:5 | Self [trait FirstTrait] |
 | overloading.rs:4:34:6:9 | { ... } |  | {EXTERNAL LOCATION} | bool |
@@ -5092,6 +5207,32 @@ inferCertainType
 | regressions.rs:127:9:130:9 | { ... } |  | {EXTERNAL LOCATION} | () |
 | regressions.rs:128:24:128:27 | self |  | regressions.rs:121:5:121:19 | S |
 | regressions.rs:128:24:128:27 | self | T | regressions.rs:123:10:123:10 | T |
+| regressions.rs:139:17:139:17 | _ |  | {EXTERNAL LOCATION} | & |
+| regressions.rs:139:17:139:17 | _ | TRef | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:139:33:141:9 | { ... } |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:139:33:141:9 | { ... } | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:145:17:145:17 | t |  | regressions.rs:144:10:144:10 | T |
+| regressions.rs:145:31:147:9 | { ... } |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:145:31:147:9 | { ... } | T2 | regressions.rs:144:10:144:10 | T |
+| regressions.rs:146:16:146:16 | t |  | regressions.rs:144:10:144:10 | T |
+| regressions.rs:150:24:153:5 | { ... } |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:150:24:153:5 | { ... } | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:164:16:164:19 | SelfParam |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:164:16:164:19 | SelfParam | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:164:22:164:25 | _rhs |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:164:22:164:25 | _rhs | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:164:50:166:9 | { ... } |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:164:50:166:9 | { ... } | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:165:13:165:16 | self |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:165:13:165:16 | self | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:173:16:173:19 | SelfParam |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:173:16:173:19 | SelfParam | T | regressions.rs:169:10:169:10 | T |
+| regressions.rs:173:22:173:25 | _rhs |  | regressions.rs:169:10:169:10 | T |
+| regressions.rs:173:47:175:9 | { ... } |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:173:47:175:9 | { ... } | T | regressions.rs:169:10:169:10 | T |
+| regressions.rs:174:13:174:16 | self |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:174:13:174:16 | self | T | regressions.rs:169:10:169:10 | T |
+| regressions.rs:178:14:180:5 | { ... } |  | {EXTERNAL LOCATION} | () |
 inferType
 | associated_types.rs:5:15:5:18 | SelfParam |  | associated_types.rs:1:1:2:21 | Wrapper |
 | associated_types.rs:5:15:5:18 | SelfParam | A | associated_types.rs:4:6:4:6 | A |
@@ -6385,6 +6526,190 @@ inferType
 | closure.rs:152:41:152:41 | _ |  | {EXTERNAL LOCATION} | i64 |
 | closure.rs:152:49:152:52 | true |  | {EXTERNAL LOCATION} | bool |
 | closure.rs:152:56:152:56 | 3 |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:157:34:157:34 | f |  | closure.rs:157:15:157:31 | F |
+| closure.rs:157:40:157:40 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:157:55:159:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:158:9:158:9 | f |  | closure.rs:157:15:157:31 | F |
+| closure.rs:158:9:158:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:158:11:158:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:161:15:161:15 | f |  | closure.rs:161:18:161:36 | impl ... |
+| closure.rs:161:39:161:39 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:161:54:163:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:162:9:162:9 | f |  | closure.rs:161:18:161:36 | impl ... |
+| closure.rs:162:9:162:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:162:11:162:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:15:165:15 | f |  | {EXTERNAL LOCATION} | & |
+| closure.rs:165:15:165:15 | f | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:165:15:165:15 | f | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:165:15:165:15 | f | TRef.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:15:165:15 | f | TRef.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:39:165:39 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:165:54:167:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:9:166:9 | f |  | {EXTERNAL LOCATION} | & |
+| closure.rs:166:9:166:9 | f | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:166:9:166:9 | f | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:166:9:166:9 | f | TRef.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:9:166:9 | f | TRef.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:9:166:12 | f(...) |  | {EXTERNAL LOCATION} | F::Output[FnOnce] |
+| closure.rs:166:9:166:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:166:11:166:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:169:41:169:41 | f |  | closure.rs:169:15:169:34 | F |
+| closure.rs:169:47:169:47 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:169:62:171:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:170:9:170:9 | f |  | closure.rs:169:15:169:34 | F |
+| closure.rs:170:9:170:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:170:11:170:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:15:173:15 | f |  | {EXTERNAL LOCATION} | &mut |
+| closure.rs:173:15:173:15 | f | TRefMut | {EXTERNAL LOCATION} | dyn FnMut |
+| closure.rs:173:15:173:15 | f | TRefMut.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:173:15:173:15 | f | TRefMut.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:15:173:15 | f | TRefMut.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:46:173:46 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:173:61:175:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:9:174:9 | f |  | {EXTERNAL LOCATION} | &mut |
+| closure.rs:174:9:174:9 | f | TRefMut | {EXTERNAL LOCATION} | dyn FnMut |
+| closure.rs:174:9:174:9 | f | TRefMut.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:174:9:174:9 | f | TRefMut.dyn(Args).T0 | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:9:174:9 | f | TRefMut.dyn(Output) | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:9:174:12 | f(...) |  | {EXTERNAL LOCATION} | F::Output[FnOnce] |
+| closure.rs:174:9:174:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:174:11:174:11 | a |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:177:18:177:18 | f |  | closure.rs:177:21:177:37 | impl ... |
+| closure.rs:177:40:177:40 | a |  | closure.rs:177:15:177:15 | T |
+| closure.rs:177:53:179:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:178:9:178:9 | f |  | closure.rs:177:21:177:37 | impl ... |
+| closure.rs:178:9:178:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:178:11:178:11 | a |  | closure.rs:177:15:177:15 | T |
+| closure.rs:181:42:181:42 | f |  | closure.rs:181:18:181:35 | F |
+| closure.rs:181:48:181:48 | a |  | closure.rs:181:15:181:15 | T |
+| closure.rs:181:61:183:5 | { ... } |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:182:9:182:9 | f |  | closure.rs:181:18:181:35 | F |
+| closure.rs:182:9:182:12 | f(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:182:11:182:11 | a |  | closure.rs:181:15:181:15 | T |
+| closure.rs:185:15:206:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| closure.rs:186:13:186:13 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:186:13:186:13 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:186:17:186:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:186:17:186:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:187:13:187:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:187:18:187:32 | apply1(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:187:25:187:25 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:187:25:187:25 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:187:28:187:31 | 1i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:189:13:189:13 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:189:13:189:13 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:189:17:189:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:189:17:189:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:190:13:190:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:190:18:190:32 | apply2(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:190:25:190:25 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:190:25:190:25 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:190:28:190:31 | 2i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:192:13:192:13 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:192:13:192:13 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:192:17:192:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:192:17:192:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:193:13:193:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:193:18:193:33 | apply3(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:193:25:193:26 | &f |  | {EXTERNAL LOCATION} | & |
+| closure.rs:193:25:193:26 | &f | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:193:25:193:26 | &f | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:193:26:193:26 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:193:26:193:26 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:193:29:193:32 | 3i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:195:13:195:13 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:195:13:195:13 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:195:17:195:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:195:17:195:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:196:13:196:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:196:18:196:32 | apply4(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:196:25:196:25 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:196:25:196:25 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:196:28:196:31 | 4i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:198:17:198:17 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:198:17:198:17 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:198:21:198:25 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:198:21:198:25 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:199:13:199:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:199:18:199:37 | apply5(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:199:25:199:30 | &mut f |  | {EXTERNAL LOCATION} | &mut |
+| closure.rs:199:25:199:30 | &mut f | TRefMut | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:199:25:199:30 | &mut f | TRefMut.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:199:30:199:30 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:199:30:199:30 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:199:33:199:36 | 5i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:201:13:201:13 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:201:13:201:13 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:201:17:201:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:201:17:201:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:202:13:202:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:202:18:202:32 | apply6(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:202:25:202:25 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:202:25:202:25 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:202:28:202:31 | 6i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:204:13:204:13 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:204:13:204:13 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:204:17:204:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:204:17:204:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:205:13:205:14 | _r |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:205:18:205:32 | apply7(...) |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:205:25:205:25 | f |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:205:25:205:25 | f | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:205:28:205:31 | 7i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:217:18:217:22 | SelfParam |  | {EXTERNAL LOCATION} | & |
+| closure.rs:217:18:217:22 | SelfParam | TRef | closure.rs:212:5:212:19 | S |
+| closure.rs:217:18:217:22 | SelfParam | TRef.T | closure.rs:214:10:214:10 | T |
+| closure.rs:217:42:219:9 | { ... } |  | {EXTERNAL LOCATION} | & |
+| closure.rs:217:42:219:9 | { ... } | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:217:42:219:9 | { ... } | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:217:42:219:9 | { ... } | TRef.dyn(Args).T0 | closure.rs:214:10:214:10 | T |
+| closure.rs:217:42:219:9 | { ... } | TRef.dyn(Output) | {EXTERNAL LOCATION} | bool |
+| closure.rs:218:13:218:22 | &... |  | {EXTERNAL LOCATION} | & |
+| closure.rs:218:13:218:22 | &... | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:218:13:218:22 | &... | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:218:13:218:22 | &... | TRef.dyn(Args).T0 | closure.rs:214:10:214:10 | T |
+| closure.rs:218:13:218:22 | &... | TRef.dyn(Output) | {EXTERNAL LOCATION} | bool |
+| closure.rs:218:14:218:22 | \|...\| false |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:218:14:218:22 | \|...\| false | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:218:14:218:22 | \|...\| false | dyn(Args).T0 | closure.rs:214:10:214:10 | T |
+| closure.rs:218:14:218:22 | \|...\| false | dyn(Output) | {EXTERNAL LOCATION} | bool |
+| closure.rs:218:15:218:15 | _ |  | closure.rs:214:10:214:10 | T |
+| closure.rs:218:18:218:22 | false |  | {EXTERNAL LOCATION} | bool |
+| closure.rs:222:19:240:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| closure.rs:223:13:223:13 | x |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:223:17:223:20 | 0i64 |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:225:13:225:13 | s |  | closure.rs:212:5:212:19 | S |
+| closure.rs:225:17:225:20 | S(...) |  | closure.rs:212:5:212:19 | S |
+| closure.rs:226:20:226:20 | s |  | closure.rs:212:5:212:19 | S |
+| closure.rs:226:22:226:22 | x |  | {EXTERNAL LOCATION} | i64 |
+| closure.rs:228:13:228:13 | x |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:228:17:228:20 | 0i32 |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:230:13:230:13 | s |  | closure.rs:212:5:212:19 | S |
+| closure.rs:230:17:230:20 | S(...) |  | closure.rs:212:5:212:19 | S |
+| closure.rs:231:13:231:17 | s_ref |  | {EXTERNAL LOCATION} | & |
+| closure.rs:231:13:231:17 | s_ref | TRef | closure.rs:212:5:212:19 | S |
+| closure.rs:231:21:231:22 | &s |  | {EXTERNAL LOCATION} | & |
+| closure.rs:231:21:231:22 | &s | TRef | closure.rs:212:5:212:19 | S |
+| closure.rs:231:22:231:22 | s |  | closure.rs:212:5:212:19 | S |
+| closure.rs:232:13:232:16 | _ret |  | {EXTERNAL LOCATION} | F::Output[FnOnce] |
+| closure.rs:232:20:232:24 | s_ref |  | {EXTERNAL LOCATION} | & |
+| closure.rs:232:20:232:24 | s_ref | TRef | closure.rs:212:5:212:19 | S |
+| closure.rs:232:20:232:27 | s_ref(...) |  | {EXTERNAL LOCATION} | F::Output[FnOnce] |
+| closure.rs:232:26:232:26 | x |  | {EXTERNAL LOCATION} | i32 |
+| closure.rs:238:13:238:13 | c |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:238:13:238:13 | c | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:238:17:238:21 | \|...\| x |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:238:17:238:21 | \|...\| x | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:239:9:239:12 | (...) |  | {EXTERNAL LOCATION} | & |
+| closure.rs:239:9:239:12 | (...) | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:239:9:239:12 | (...) | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:239:9:239:15 | ...(...) |  | {EXTERNAL LOCATION} | F::Output[FnOnce] |
+| closure.rs:239:10:239:11 | &c |  | {EXTERNAL LOCATION} | & |
+| closure.rs:239:10:239:11 | &c | TRef | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:239:10:239:11 | &c | TRef.dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:239:11:239:11 | c |  | {EXTERNAL LOCATION} | dyn Fn |
+| closure.rs:239:11:239:11 | c | dyn(Args) | {EXTERNAL LOCATION} | (T_1) |
+| closure.rs:239:14:239:14 | x |  | {EXTERNAL LOCATION} | i32 |
 | dereference.rs:13:14:13:18 | SelfParam |  | {EXTERNAL LOCATION} | & |
 | dereference.rs:13:14:13:18 | SelfParam | TRef | dereference.rs:5:1:7:1 | MyIntPointer |
 | dereference.rs:13:29:15:5 | { ... } |  | {EXTERNAL LOCATION} | & |
@@ -12316,48 +12641,74 @@ inferType
 | main.rs:2751:17:2751:17 | x |  | {EXTERNAL LOCATION} | i32 |
 | main.rs:2751:17:2751:24 | x.max(...) |  | {EXTERNAL LOCATION} | i32 |
 | main.rs:2751:23:2751:23 | y |  | {EXTERNAL LOCATION} | usize |
-| main.rs:2762:11:2797:1 | { ... } |  | {EXTERNAL LOCATION} | () |
-| main.rs:2763:5:2763:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2764:5:2764:20 | ...::f(...) |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2765:5:2765:60 | ...::g(...) |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2765:20:2765:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2765:41:2765:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
-| main.rs:2766:5:2766:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2767:5:2767:41 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2768:5:2768:45 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2769:5:2769:30 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2770:5:2770:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2771:5:2771:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2772:5:2772:32 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2773:5:2773:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2774:5:2774:36 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2775:5:2775:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2776:5:2776:29 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2777:5:2777:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2778:5:2778:24 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2779:5:2779:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2780:5:2780:18 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2781:5:2781:15 | ...::f(...) |  | {EXTERNAL LOCATION} | dyn Future |
-| main.rs:2781:5:2781:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
-| main.rs:2782:5:2782:19 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2783:5:2783:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2784:5:2784:14 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2785:5:2785:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2786:5:2786:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2787:5:2787:43 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2788:5:2788:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2789:5:2789:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2790:5:2790:28 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2791:5:2791:23 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2792:5:2792:41 | ...::test_all_patterns(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2793:5:2793:49 | ...::box_patterns(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2794:5:2794:20 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
-| main.rs:2795:5:2795:20 | ...::f(...) |  | {EXTERNAL LOCATION} | Box |
-| main.rs:2795:5:2795:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
-| main.rs:2795:5:2795:20 | ...::f(...) | T | main.rs:2547:5:2549:5 | dyn MyTrait |
-| main.rs:2795:5:2795:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
-| main.rs:2795:16:2795:19 | true |  | {EXTERNAL LOCATION} | bool |
-| main.rs:2796:5:2796:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2766:22:2766:26 | SelfParam |  | {EXTERNAL LOCATION} | & |
+| main.rs:2766:22:2766:26 | SelfParam | TRef | main.rs:2765:5:2767:5 | Self [trait Container] |
+| main.rs:2769:34:2769:34 | c |  | {EXTERNAL LOCATION} | & |
+| main.rs:2769:34:2769:34 | c | TRef | main.rs:2769:15:2769:31 | T |
+| main.rs:2769:49:2771:5 | { ... } |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2770:9:2770:9 | c |  | {EXTERNAL LOCATION} | & |
+| main.rs:2770:9:2770:9 | c | TRef | main.rs:2769:15:2769:31 | T |
+| main.rs:2770:9:2770:21 | c.get_input() |  | {EXTERNAL LOCATION} | i64 |
+| main.rs:2770:9:2770:27 | ... == ... |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2770:26:2770:27 | 42 |  | {EXTERNAL LOCATION} | i32 |
+| main.rs:2774:22:2774:26 | SelfParam |  | {EXTERNAL LOCATION} | & |
+| main.rs:2774:22:2774:26 | SelfParam | TRef | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2774:22:2774:26 | SelfParam | TRef.T | main.rs:2773:10:2773:17 | GT |
+| main.rs:2774:35:2776:9 | { ... } |  | main.rs:2773:10:2773:17 | GT |
+| main.rs:2775:13:2775:16 | self |  | {EXTERNAL LOCATION} | & |
+| main.rs:2775:13:2775:16 | self | TRef | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2775:13:2775:16 | self | TRef.T | main.rs:2773:10:2773:17 | GT |
+| main.rs:2775:13:2775:18 | self.0 |  | main.rs:2773:10:2773:17 | GT |
+| main.rs:2779:15:2783:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| main.rs:2781:13:2781:13 | g |  | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2781:17:2781:22 | Gen(...) |  | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2782:13:2782:13 | _ |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2782:17:2782:26 | my_get(...) |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2782:24:2782:25 | &g |  | {EXTERNAL LOCATION} | & |
+| main.rs:2782:24:2782:25 | &g | TRef | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2782:25:2782:25 | g |  | main.rs:2763:5:2763:21 | Gen |
+| main.rs:2786:11:2821:1 | { ... } |  | {EXTERNAL LOCATION} | () |
+| main.rs:2787:5:2787:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2788:5:2788:20 | ...::f(...) |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2789:5:2789:60 | ...::g(...) |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2789:20:2789:38 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2789:41:2789:59 | ...::Foo {...} |  | main.rs:72:5:72:21 | Foo |
+| main.rs:2790:5:2790:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2791:5:2791:41 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2792:5:2792:45 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2793:5:2793:30 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2794:5:2794:21 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2795:5:2795:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2796:5:2796:32 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2797:5:2797:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2798:5:2798:36 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2799:5:2799:35 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2800:5:2800:29 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2801:5:2801:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2802:5:2802:24 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2803:5:2803:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2804:5:2804:18 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2805:5:2805:15 | ...::f(...) |  | {EXTERNAL LOCATION} | dyn Future |
+| main.rs:2805:5:2805:15 | ...::f(...) | dyn(Output) | {EXTERNAL LOCATION} | () |
+| main.rs:2806:5:2806:19 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2807:5:2807:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2808:5:2808:14 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2809:5:2809:27 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2810:5:2810:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2811:5:2811:43 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2812:5:2812:15 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2813:5:2813:17 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2814:5:2814:28 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2815:5:2815:23 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2816:5:2816:41 | ...::test_all_patterns(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2817:5:2817:49 | ...::box_patterns(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2818:5:2818:20 | ...::test(...) |  | {EXTERNAL LOCATION} | () |
+| main.rs:2819:5:2819:20 | ...::f(...) |  | {EXTERNAL LOCATION} | Box |
+| main.rs:2819:5:2819:20 | ...::f(...) | A | {EXTERNAL LOCATION} | Global |
+| main.rs:2819:5:2819:20 | ...::f(...) | T | main.rs:2547:5:2549:5 | dyn MyTrait |
+| main.rs:2819:5:2819:20 | ...::f(...) | T.dyn(T) | {EXTERNAL LOCATION} | i32 |
+| main.rs:2819:16:2819:19 | true |  | {EXTERNAL LOCATION} | bool |
+| main.rs:2820:5:2820:23 | ...::f(...) |  | {EXTERNAL LOCATION} | () |
 | overloading.rs:4:19:4:23 | SelfParam |  | {EXTERNAL LOCATION} | & |
 | overloading.rs:4:19:4:23 | SelfParam | TRef | overloading.rs:2:5:11:5 | Self [trait FirstTrait] |
 | overloading.rs:4:34:6:9 | { ... } |  | {EXTERNAL LOCATION} | bool |
@@ -15158,4 +15509,56 @@ inferType
 | regressions.rs:128:24:128:27 | self | T | regressions.rs:123:10:123:10 | T |
 | regressions.rs:129:13:129:13 | s |  | regressions.rs:123:10:123:10 | T |
 | regressions.rs:129:13:129:17 | s.m() |  | {EXTERNAL LOCATION} | () |
+| regressions.rs:139:17:139:17 | _ |  | {EXTERNAL LOCATION} | & |
+| regressions.rs:139:17:139:17 | _ | TRef | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:139:33:141:9 | { ... } |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:139:33:141:9 | { ... } | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:140:13:140:18 | S2(...) |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:140:13:140:18 | S2(...) | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:140:16:140:17 | S1 |  | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:145:17:145:17 | t |  | regressions.rs:144:10:144:10 | T |
+| regressions.rs:145:31:147:9 | { ... } |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:145:31:147:9 | { ... } | T2 | regressions.rs:144:10:144:10 | T |
+| regressions.rs:146:13:146:17 | S2(...) |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:146:13:146:17 | S2(...) | T2 | regressions.rs:144:10:144:10 | T |
+| regressions.rs:146:16:146:16 | t |  | regressions.rs:144:10:144:10 | T |
+| regressions.rs:150:24:153:5 | { ... } |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:150:24:153:5 | { ... } | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:151:13:151:13 | x |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:151:13:151:13 | x | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:151:17:151:18 | S1 |  | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:151:17:151:25 | S1.into() |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:151:17:151:25 | S1.into() | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:152:9:152:9 | x |  | regressions.rs:136:5:136:22 | S2 |
+| regressions.rs:152:9:152:9 | x | T2 | regressions.rs:135:5:135:14 | S1 |
+| regressions.rs:164:16:164:19 | SelfParam |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:164:16:164:19 | SelfParam | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:164:22:164:25 | _rhs |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:164:22:164:25 | _rhs | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:164:50:166:9 | { ... } |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:164:50:166:9 | { ... } | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:165:13:165:16 | self |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:165:13:165:16 | self | T | regressions.rs:160:10:160:10 | T |
+| regressions.rs:173:16:173:19 | SelfParam |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:173:16:173:19 | SelfParam | T | regressions.rs:169:10:169:10 | T |
+| regressions.rs:173:22:173:25 | _rhs |  | regressions.rs:169:10:169:10 | T |
+| regressions.rs:173:47:175:9 | { ... } |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:173:47:175:9 | { ... } | T | regressions.rs:169:10:169:10 | T |
+| regressions.rs:174:13:174:16 | self |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:174:13:174:16 | self | T | regressions.rs:169:10:169:10 | T |
+| regressions.rs:178:14:180:5 | { ... } |  | {EXTERNAL LOCATION} | () |
+| regressions.rs:179:13:179:13 | x |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:179:13:179:13 | x | T | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:13:179:13 | x | T | regressions.rs:158:5:158:19 | S |
+| regressions.rs:179:13:179:13 | x | T.T | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:17:179:20 | S(...) |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:179:17:179:20 | S(...) | T | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:17:179:27 | ... + ... |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:179:17:179:27 | ... + ... | T | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:17:179:27 | ... + ... | T | regressions.rs:158:5:158:19 | S |
+| regressions.rs:179:17:179:27 | ... + ... | T.T | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:19:179:19 | 0 |  | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:24:179:27 | S(...) |  | regressions.rs:158:5:158:19 | S |
+| regressions.rs:179:24:179:27 | S(...) | T | {EXTERNAL LOCATION} | i32 |
+| regressions.rs:179:26:179:26 | 1 |  | {EXTERNAL LOCATION} | i32 |
 testFailures