summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2019-07-02opaque_types/mod.rs: rustfmtNiko Matsakis-90/+51
2019-06-26Check for local types in writeback with debug assertionsJohn Kåre Alsaker-0/+4
2019-06-26Don't use lift to detect local typesJohn Kåre Alsaker-1/+1
2019-06-25Rollup merge of #62091 - ljedrz:hiridification_almost_there, r=ZoxcMazdak Farrokhzad-3/+3
2019-06-25Rollup merge of #62055 - matthewjasper:fix-error-counting, r=pnkfelixMazdak Farrokhzad-0/+1
2019-06-24HIR: rename find_by_hir_id to findljedrz-3/+3
2019-06-22Deny explicit_outlives_requirements in the compilerMatthew Jasper-1/+1
2019-06-22Count all errors for `track_errors`Matthew Jasper-0/+1
2019-06-22Rollup merge of #61984 - ljedrz:more_node_id_pruning, r=ZoxcMazdak Farrokhzad-11/+11
2019-06-20rename hir::map::get_by_hir_id to getljedrz-5/+5
2019-06-20rename hir::map::expect_expr_by_hir_id to expect_exprljedrz-2/+2
2019-06-20rename hir::map::name_by_hir_id to ::nameljedrz-5/+5
2019-06-20replace NodeId with HirId in infer::SubregionOriginljedrz-3/+3
2019-06-19Change `ByRef` to a struct variant to clarify its fields via namesOliver Scherer-1/+1
2019-06-19Rollup merge of #61941 - cramertj:no-more-yield-errors, r=centrilMazdak Farrokhzad-5/+4
2019-06-19Rollup merge of #61842 - Zoxc:trim-lift, r=eddybMazdak Farrokhzad-37/+18
2019-06-18Preserve generator and yield source for error messagesTaylor Cramer-5/+4
2019-06-18rustc: reintroduce lifetime bounds where necessary.Eduard-Mihai Burtescu-1/+1
2019-06-18rustc: remove leftover lifetimes with no bounds from where clauses.Eduard-Mihai Burtescu-1/+0
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-28/+28
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 06:23:05 +0000