about summary refs log tree commit diff
path: root/src/librustc/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2019-04-25Auto merge of #59111 - gilescope:generator-better-errors, r=nikomatsakisbors-3/+4
2019-04-25Improved error message when type must be bound due to generator.Giles Cope-3/+4
2019-04-22Promote rust comments to rustdocAlexey Shmalko-137/+134
2019-04-21Enable migrate mode by default on the 2015 editionMatthew Jasper-2/+2
2019-03-27Add `next_int_var` and `next_float_var`varkor-2/+10
2019-03-05Stub methods in infervarkor-5/+8
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
2019-02-26replace &'tcx Substs with SubstsRefcsmoe-2/+2
2019-02-21introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-13/+20
2019-02-21reintroduce `commit_if_ok` calls to `subtype_predicate`Niko Matsakis-14/+16
2019-02-15make generalization code create new variables in correct universeNiko Matsakis-0/+12
2019-02-13HirId-ify hir::BodyIdljedrz-2/+3
2019-02-13Rollup merge of #58273 - taiki-e:rename-dependency, r=matthewjasperMazdak Farrokhzad-9/+10
2019-02-12Auto merge of #58341 - alexreg:cosmetic-2-doc-comments, r=steveklabnikbors-19/+19
2019-02-13Cleanup importsTaiki Endo-9/+10
2019-02-13Rename rustc_errors dependency in rust 2018 cratesTaiki Endo-1/+1
2019-02-11Remove two dead functions.Nicholas Nethercote-8/+0
2019-02-10rustc: doc commentsAlexander Regueiro-19/+19
2019-02-05move librustc to 2018Mark Mansi-18/+18
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-18/+1
2019-01-02rename `type_moves_by_default` to `type_is_copy_modulo_regions`Niko Matsakis-3/+4
2019-01-02track if any region constraints involved placeholdersNiko Matsakis-1/+6
2019-01-02improve handling for subtypeNiko Matsakis-1/+1
2019-01-02universe transitionNiko Matsakis-67/+19
2019-01-02introduce ability to detect region constraints from snapshotNiko Matsakis-0/+9
2019-01-02make evaluation track whether outlives relationships matteredNiko Matsakis-1/+1
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-20Auto merge of #56219 - arielb1:never-coerce-box, r=nikomatsakisbors-0/+4
2018-12-19Auto merge of #56601 - Zoxc:lifetime-killer, r=nikomatsakisbors-2/+7
2018-12-17trigger unsized coercions keyed on Sized boundsAriel Ben-Yehuda-0/+4
2018-12-14add coherence future-compat warnings for marker-only trait objectsAriel Ben-Yehuda-1/+18
2018-12-13Some changesJohn Kåre Alsaker-0/+2
2018-12-13Make the 'a lifetime on TyCtxt uselessJohn Kåre Alsaker-2/+5
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-6/+6
2018-11-25Auto merge of #55906 - nnethercote:rm-OpenSnapshot-CommittedSnapshot, r=nikom...bors-1/+1
2018-11-25Make `commit` and `rollback_to` methods take ownership of the snapshots.Nicholas Nethercote-1/+1
2018-11-24Instantiate all bound vars universallyscalexm-3/+3
2018-11-24Handle placeholder types in canonicalizationscalexm-0/+22
2018-11-24Distinguish between placeholder kindsscalexm-1/+1
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-3/+3
2018-11-13fix various typos in doc commentsAndy Russell-3/+3
2018-11-13Instantiate all bound vars existentiallyscalexm-6/+6
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-5/+5
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-15move `force_instantiate_unchecked` to be local to `nll_relate` codeNiko Matsakis-59/+0
2018-10-15extract `type_relate` into the inference context as `nll_relate`Niko Matsakis-1/+2
2018-10-15add `force_instantiate_unchecked` methodNiko Matsakis-0/+59
2018-10-15remove the sub/super terminology for universesNiko Matsakis-7/+4
2018-10-15pacify the mercilous tidy with rustfmtNiko Matsakis-11/+7