Ayaz Hafiz d9cda8992a Add test for self-recursive inference with partial type annotation ... The removed TODO is not technically a soundness bug, but it is a bit frusturating. Unfortunately the fix is non-obvious (we must no longer take rigid annotations as a source-of-truth, but instead fix them up afterward). It may have disparate consequences, so let's punt for now.		2022-06-17 17:37:15 -04:00
..
helpers	Remove unnecessary -> () function return types	2022-05-18 08:29:40 -04:00
solve_expr.rs	Add test for self-recursive inference with partial type annotation	2022-06-17 17:37:15 -04:00