The following test fails with both solvers (returning ambiguous). ```rust program { #[auto] trait Send { } closure with_ty<T>(self,) { T } } goal { forall<T> { if (T: Send) { with_ty<T>: Send } } } yields { "Unique" } ``` The empty substs here seem suspicious. https://github.com/rust-lang/chalk/blob/e0c94db8a497eee4ed1f49534fb0714801cb90e8/chalk-solve/src/clauses.rs#L167 <!-- TRIAGEBOT_START --> <!-- TRIAGEBOT_ASSIGN_START --> <!-- TRIAGEBOT_ASSIGN_DATA_START$${"user":"shamatar"}$$TRIAGEBOT_ASSIGN_DATA_END --> <!-- TRIAGEBOT_ASSIGN_END --> <!-- TRIAGEBOT_END -->
The following test fails with both solvers (returning ambiguous).
The empty substs here seem suspicious.
chalk/chalk-solve/src/clauses.rs
Line 167 in e0c94db