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
..
src	Merge pull request #3234 from rtfeldman/toplevel-expect	2022-06-17 10:06:22 -04:00
tests	Add test for self-recursive inference with partial type annotation	2022-06-17 17:37:15 -04:00
Cargo.toml	cargo fix --edition	2022-05-16 17:04:17 +02:00