summary refs log tree commit diff
path: root/src/librustc_const_eval/check_match.rs
AgeCommit message (Expand)AuthorLines
2017-06-10rustc: make InferCtxt optional in MemCategorizationContext.Eduard-Mihai Burtescu-10/+8
2017-06-10rustc: do not depend on infcx.tables in MemCategorizationContext.Eduard-Mihai Burtescu-2/+3
2017-06-04Auto merge of #42265 - Zoxc:for-sugar, r=eddybbors-56/+32
2017-06-01strip param-env from infcxNiko Matsakis-2/+2
2017-06-01move projection mode into parameter environmentNiko Matsakis-2/+1
2017-06-01Change for-loop desugar to not borrow the iterator during the loopJohn Kåre Alsaker-56/+32
2017-05-25Hygienize `librustc_typeck`.Jeffrey Seyfried-3/+3
2017-05-22rename `parameter_environment` to `param_env`Niko Matsakis-1/+1
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-1/+1
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-3/+3
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-1/+1
2017-05-13rustc: uniformly compute ParameterEnvironment's "free outlive scope".Eduard-Mihai Burtescu-4/+3
2017-05-08Remove need for &format!(...) or &&"" dances in `span_label` callsOliver Schneider-13/+13
2017-04-30modify `ExprUseVisitor` and friends to take region-maps, not def-idNiko Matsakis-5/+6
2017-04-30introduce per-fn RegionMapsTaylor Cramer-1/+6
2017-04-30intern CodeExtentsNiko Matsakis-1/+1
2017-04-18convert calls to `visit_all_item_likes_in_krate`Niko Matsakis-4/+1
2017-04-16rustc_const_eval: move ConstEvalErr to the rustc crate.Eduard-Mihai Burtescu-16/+16
2017-03-27Fix various useless derefs and slicingsOliver Schneider-1/+1
2017-02-25rustc_const_eval: always demand typeck_tables for evaluating constants.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-1/+1
2017-02-23use a more conservative inhabitableness ruleAriel Ben-Yehuda-1/+15
2017-02-20check_match: don't treat privately uninhabited types as uninhabitedAriel Ben-Yehuda-0/+20
2017-02-05Fix make tidyAndrew Cann-2/+3
2017-02-05Remove use of ptr::eqAndrew Cann-13/+18
2017-02-04Uninhabited while-let pattern fixAndrew Cann-4/+15
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-4/+4
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-1/+1
2017-01-21Fix some nitsAndrew Cann-0/+2
2017-01-17Change unreachable patterns ICEs to warningsAndrew Cann-11/+2
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-9/+9
2017-01-04Fix build after rebaseAndrew Cann-1/+1
2017-01-03Fix build after rebase.Andrew Cann-2/+4
2017-01-03Disable unreachable patterns error entirelyAndrew Cann-12/+9
2017-01-03More pattern matching for empty types changesAndrew Cann-28/+22
2017-01-03Make is_useful handle empty types properlyAndrew Cann-7/+13
2017-01-01rustc_const_eval: convert constants to Pattern instead of hir::Pat.Eduard-Mihai Burtescu-7/+0
2017-01-01rustc_const_eval: build Pattern instead of hir::Pat for pretty-printing.Eduard-Mihai Burtescu-21/+15
2016-12-28rustc: always print nested nodes where a HIR map is available.Eduard-Mihai Burtescu-4/+7
2016-12-28rustc: move function arguments into hir::Body.Eduard-Mihai Burtescu-32/+9
2016-12-28rustc: separate bodies for static/(associated)const and embedded constants.Eduard-Mihai Burtescu-2/+2
2016-12-28rustc: separate TraitItem from their parent Item, just like ImplItem.Eduard-Mihai Burtescu-1/+1
2016-11-29revamp `Visitor` with a single method for controlling nested visitsNiko Matsakis-5/+9
2016-11-29Split nested_visit_mode function off from nested_visit_mapFlorian Diebold-3/+7
2016-11-29rustc_const_eval: fix compilationFlorian Diebold-12/+16
2016-11-28rustc: embed path resolutions into the HIR instead of keeping DefMap.Eduard-Mihai Burtescu-28/+22
2016-11-22Make is_uninhabited respect privacyAndrew Cann-1/+1
2016-11-16refactor Visitor into ItemLikeVisitor and intravisit::VisitorNiko Matsakis-1/+2
2016-11-10rustc: use an Expr instead of a Block for function bodies.Eduard Burtescu-2/+2
2016-11-02rustc: make all read access to tcx.tables go through a method.Eduard Burtescu-3/+3