about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2019-07-02introduce `QueryRegionConstraints` struct (no-op)Niko Matsakis-7/+27
2019-07-02rename `QueryRegionConstraint` to `QueryOutlivesConstraint`Niko Matsakis-16/+16
2019-07-02enforce and report pick-constraint errorsNiko Matsakis-52/+169
2019-07-02integrate pick constraints into lexical solver more completelyNiko Matsakis-17/+56
2019-07-02rename from "in constraint" to "pick constraint"Niko Matsakis-39/+44
2019-07-02add some tests, currently ICE-ingNiko Matsakis-25/+119
2019-07-02make `dup_vec` optionalNiko Matsakis-13/+20
2019-07-02lexical_region_resolve: rustfmtNiko Matsakis-86/+68
2019-07-02introduce an "in" constraint instead of errorNiko Matsakis-49/+133
2019-07-02introduce `constrain_regions` helperNiko Matsakis-20/+25
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 00:14:09 +0000