summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-08-09Be more accurate when mentioning type of found match armsEsteban Küber-28/+10
2019-08-06Update README.mdMazdak Farrokhzad-1/+1
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-1/+20
2019-08-04Rename `ItemImplKind::Type` to `ItemImplKind::TyAlias`varkor-1/+1
2019-08-03Auto merge of #63180 - varkor:trait-alias-impl-trait, r=Centrilbors-55/+62
2019-08-02Rollup merge of #63153 - varkor:remove-resolve_const_var, r=cramertjMazdak Farrokhzad-24/+5
2019-08-02Rename `OpaqueTyOrigin` variantsvarkor-5/+5
2019-08-02Replace `exist_ty` and `ExistTy` with `opaque_ty` and `OpaqueTy`varkor-2/+2
2019-08-02Replace `abstract type` with type alias `impl Trait`varkor-19/+19
2019-08-02Fix fallout after rebasevarkor-1/+1
2019-08-02Replace "existential" by "opaque"varkor-35/+42
2019-07-31Remove redundant method with const variable resolutionvarkor-24/+5
2019-07-28Properly check the defining scope of existential typesAaron Hill-6/+9
2019-07-25Rollup merge of #62901 - petrochenkov:serde, r=CentrilMazdak Farrokhzad-1/+1
2019-07-24Auto merge of #62908 - fakenine:normalize_use_of_backticks_compiler_messages_...bors-3/+3
2019-07-23normalize use of backticks for compiler messages in remaining modulesSamy Kacimi-3/+3
2019-07-23Rollup merge of #62523 - pnkfelix:delay-bug-to-resolve-issue-62203-ice, r=varkorMark Rousskov-9/+10
2019-07-23cleanup: Remove `extern crate serialize as rustc_serialize`sVadim Petrochenkov-1/+1
2019-07-11Rename some things in `syntax_pos/hygiene`Vadim Petrochenkov-3/+3
2019-07-09Auto merge of #62221 - jonas-schievink:normalize-impl-trait, r=nikomatsakisbors-0/+6
2019-07-09Delay bug; this sidesteps ICE'ing when compiler is just doing error-recovery.Felix S. Klock II-9/+10
2019-07-09Rollup merge of #62090 - davidtwco:ice-async-await-out-of-range-substitution,...Mazdak Farrokhzad-1/+75
2019-07-04infer: fix a Region-related debug messageljedrz-6/+1
2019-07-04infer::error_reporting: adjust 2 debug messagesljedrz-8/+2
2019-07-04rename hir::map::local_def_id_from_hir_id to local_def_idljedrz-2/+2
2019-07-04rename hir::map::local_def_id to local_def_id_from_node_idljedrz-3/+3
2019-07-04Rollup merge of #62249 - czipperz:use-mem-take-instead-of-replace-default, r=...Mazdak Farrokhzad-3/+3
2019-07-03Normalize projections in opaque typesJonas Schievink-0/+6
2019-07-03Remove needless lifetimesJeremy Stucki-1/+1
2019-07-03typeck: merge opaque type inference logicDavid Wood-1/+75
2019-07-02fix ICE with delay-span-bugNiko Matsakis-3/+6
2019-07-02region_constraints: nitsNiko Matsakis-5/+5
2019-07-02opaque_types: more nitsNiko Matsakis-6/+6
2019-07-02s/abstract_type_generics/opaque_type_generics/Niko Matsakis-5/+5
2019-07-02opaque_types: various nitsNiko Matsakis-10/+10
2019-07-02cleanup formatting of comment and add attributionNiko Matsakis-22/+23
2019-07-02rewrite `dup_vec` to use `IndexVec` instead of `u32`Niko Matsakis-7/+6
2019-07-02various centril nitsNiko Matsakis-10/+11
2019-07-02explain why the code is the way it isNiko Matsakis-0/+2
2019-07-02Update src/librustc/infer/lexical_region_resolve/mod.rsNiko Matsakis-1/+1
2019-07-02feature-gate member constraints outside of async-awaitNiko Matsakis-0/+72
2019-07-02rename to "member constraints"Niko Matsakis-90/+95
2019-07-02switch to LrcNiko Matsakis-11/+11
2019-07-02address nits by mattewjasperNiko Matsakis-29/+12
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-3/+38
2019-07-02pacify the mercilous tidyNiko Matsakis-2/+6
2019-07-02preliminary integration of "pick constraints" into nll solverNiko Matsakis-7/+8
2019-07-02propagate the pick-constraints through queriesNiko Matsakis-9/+28
2019-07-02pass a `&mut QueryRegionConstraints` not just outlives constraintsNiko Matsakis-4/+6
2019-07-02introduce `QueryRegionConstraints` structNiko Matsakis-9/+15