| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-04-30 | make needs_infer specific to inference variables | Niko Matsakis | -1/+1 | |
| Notably, excluding ReSkolemized | ||||
| 2018-04-10 | Make recursion_limit and type_length_limit thread-safe | John Kåre Alsaker | -1/+1 | |
| 2018-03-17 | Replace Rc with Lrc | John Kåre Alsaker | -3/+3 | |
| 2018-03-13 | add some debug output | Niko Matsakis | -0/+6 | |
| 2018-03-13 | introduce `infcx.at(..).normalize(..)` operation [VIC] | Niko Matsakis | -0/+268 | |
| It is backed by the new `normalize_projection_ty` query, which uses canonicalization. | ||||
