summary refs log tree commit diff
path: root/src/librustc_const_eval/check_match.rs
AgeCommit message (Expand)AuthorLines
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
2016-10-26handle mixed byte literal and byte array patternsAriel Ben-Yehuda-5/+5
2016-10-26remove StaticInliner and NaN checkingAriel Ben-Yehuda-153/+61
2016-10-26stop using MatchCheckCtxt to hold the param-env for check_matchAriel Ben-Yehuda-117/+161
2016-10-26change match checking to use HAIRAriel Ben-Yehuda-9/+8
2016-10-26un-break the `construct_witness` logicAriel Ben-Yehuda-2/+2
2016-10-26split the exhaustiveness-checking logic to its own moduleAriel Ben-Yehuda-680/+27
2016-10-26refactor the `pat_is_catchall` logicAriel Ben-Yehuda-20/+20
2016-10-26use a struct abstraction in check_matchAriel Ben-Yehuda-60/+94
2016-10-26remove SliceWithSubslice, only used from old transAriel Ben-Yehuda-12/+0
2016-10-26comment some ugly points in check_matchAriel Ben-Yehuda-15/+23
2016-10-09Update E0303 to new error formatJohn Firebaugh-2/+4
2016-10-06Rollup merge of #36909 - GuillaumeGomez:merge_e0002_e0004, r=arielb1Jonathan Turner-7/+15
2016-10-04Turn some impossible definitions into ICEsVadim Petrochenkov-7/+8
2016-10-04Eliminate ty::VariantKind in favor of def::CtorKindVadim Petrochenkov-5/+5
2016-10-04Separate Def::StructCtor/Def::VariantCtor from Def::Struct/Def::VariantVadim Petrochenkov-6/+6
2016-10-02Merge E0002 into E0004Guillaume Gomez-7/+15
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 12:59:36 +0000