summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-04-20Print region in case of ICEShotaro Yamada-1/+1
2018-04-20Fix ICE with impl TraitShotaro Yamada-2/+6
2018-04-20Use InternedString instead of Symbol for type parameters.Michael Woerister-2/+2
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-82/+38
2018-03-27Auto merge of #49202 - csmoe:trait_engine, r=nikomatsakisbors-1/+1
2018-03-23Fix failures after rebaseSean Griffin-2/+0
2018-03-23Revert "add universes to type inference variables"Sean Griffin-59/+20
2018-03-23Revert "fix tidy error"Sean Griffin-4/+1
2018-03-23Revert "change skolemizations to use universe index"Sean Griffin-18/+18
2018-03-23import trait engine to typeckcsmoe-2/+2
2018-03-23introduce trait engine modcsmoe-1/+1
2018-03-22UserAssertTy can handle inference variables.David Wood-8/+21
2018-03-21work around fallout from these changes in rustcNiko Matsakis-1/+2
2018-03-21report an error if we see an unexpected lifetime in impl TraitNiko Matsakis-34/+154
2018-03-20rewrite to use a custom folderNiko Matsakis-42/+50
2018-03-16Replace many of the last references to readmesMark Mansi-7/+21
2018-03-14Fixes after rebaseAndrew Cann-7/+1
2018-03-14Add note about fallback to `!: !Trait` errorAndrew Cann-1/+1
2018-03-14remove defaulting to unitAndrew Cann-6/+0
2018-03-13add "text" sections for things that seem likely to be a problemNiko Matsakis-2/+6
2018-03-13remove dead codeNiko Matsakis-11/+0
2018-03-13replace inline docs with references to rustc-guideNiko Matsakis-57/+18
2018-03-13short-circuit work when instantiating query responsesNiko Matsakis-24/+84
2018-03-13move `drain_fulfillment_cx_or_panic` to be private to traits::transNiko Matsakis-40/+0
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-135/+1
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-3/+28
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-2/+944
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-3/+3
2018-03-13comment the purpose of `TransNormalize`Niko Matsakis-0/+4
2018-03-13make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`Niko Matsakis-22/+23
2018-03-13fix typo in commentNiko Matsakis-1/+1
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-13/+0
2018-03-08Rollup merge of #48682 - spastorino:make_causal_lazy, r=nikomatsakisManish Goregaokar-3/+16
2018-03-07Rollup merge of #48698 - ishitatsuyuki:burn-equate, r=nikomatsakisAlex Crichton-21/+0
2018-03-06Make causal tracking lazySantiago Pastorino-3/+16
2018-03-05Turn features() into a query.Michael Woerister-2/+2
2018-03-04Auto merge of #48592 - spastorino:borrowed_value_error, r=nikomatsakisbors-368/+465
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-21/+0
2018-03-03Auto merge of #48689 - Manishearth:rollup, r=Manishearthbors-1/+1
2018-03-02Run Rustfix on librustcManish Goregaokar-1/+1
2018-03-02Revert "correct subtle bug in the type variable code"Sean Griffin-60/+107
2018-03-01rustfmt over error_reporting, explain_borrow and region_infer modsSantiago Pastorino-334/+404
2018-03-01Make explain borrow work for Universal lifetimesSantiago Pastorino-6/+27
2018-03-01Refactor note_and_explain_region to call note_and_explain_free_regionSantiago Pastorino-86/+92
2018-03-01change skolemizations to use universe indexSean Griffin-24/+24
2018-03-01fix tidy errorNiko Matsakis-1/+4
2018-03-01add universes to type inference variablesNiko Matsakis-20/+58
2018-03-01remove unnecessary clause propagating divergenceNiko Matsakis-8/+0
2018-03-01have `probe()` return `TypeVariableValue`Niko Matsakis-35/+46
2018-03-01correct subtle bug in the type variable codeNiko Matsakis-108/+63
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 08:12:04 +0000