about summary refs log tree commit diff
path: root/src/librustc/infer/at.rs
AgeCommit message (Expand)AuthorLines
2019-02-10rustc: doc commentsAlexander Regueiro-12/+12
2019-02-05move librustc to 2018Mark Mansi-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+1
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-0/+22
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-3/+3
2018-03-13make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`Niko Matsakis-0/+14
2017-08-12Fix some typosBastien Orivel-1/+1
2017-06-01ergonomic improvements to the methods in infcxNiko Matsakis-0/+310