about summary refs log tree commit diff
path: root/src/librustc/infer/at.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-312/+0
2019-12-22Format the worldMark Rousskov-137/+102
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-2/+2
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-16/+11
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-10/+10
2019-05-06Implement `ToTrace` for `ty::Const`varkor-0/+15
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