about summary refs log tree commit diff
path: root/src/librustc_const_eval
AgeCommit message (Expand)AuthorLines
2017-03-06Fix ICE: don't use `struct_variant` on enumsEsteban Küber-1/+5
2017-02-25rustc_const_eval: demand that the MIR qualify_consts ran on each evaluated body.Eduard-Mihai Burtescu-1/+2
2017-02-25rustc_const_eval: always demand typeck_tables for evaluating constants.Eduard-Mihai Burtescu-510/+251
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-2/+2
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-4/+2
2017-02-25rustc: introduce a query system for type information in ty::maps.Eduard Burtescu-1/+1
2017-02-25rustc: consolidate dep-tracked hashmaps in tcx.maps.Eduard-Mihai Burtescu-5/+5
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-30/+82
2017-02-10Use global recursion limit when evaluating inhabitednessAndrew Cann-3/+3
2017-02-09Add recursion limit to inhabitedness checkAndrew Cann-1/+1
2017-02-05Rollup merge of #39526 - canndrew:uninhabited-while-let-fix, r=arielb1Corey Farwell-5/+22
2017-02-05Rollup merge of #39519 - nagisa:more-snap, r=alexcrichtonCorey Farwell-6/+3
2017-02-05Fix make tidyAndrew Cann-2/+3
2017-02-05Rollup merge of #39009 - canndrew:default-unit-warnings, r=nikomatsakisCorey Farwell-3/+3
2017-02-05Remove use of ptr::eqAndrew Cann-14/+18
2017-02-04Uninhabited while-let pattern fixAndrew Cann-4/+16
2017-02-04More snap cleanupSimonas Kazlauskas-6/+3
2017-02-03Bump version, upgrade bootstrapAlex Crichton-5/+1
2017-02-03Add warning for () to ! switchAndrew Cann-3/+3
2017-01-31use suggestions instead of helps with code in themOliver Schneider-2/+0
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-3/+1
2017-01-27Rollup merge of #39290 - canndrew:hide-uninhabitedness, r=nikomatsakisAlex Crichton-4/+13
2017-01-26rustc: don't call the HIR AST.Eduard-Mihai Burtescu-5/+5
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-23/+23
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-11/+11
2017-01-25Hide uninhabitedness checks behind feature gateAndrew Cann-4/+13
2017-01-25Auto merge of #35712 - oli-obk:exclusive_range_patterns, r=nikomatsakisbors-24/+47
2017-01-22Auto merge of #39127 - canndrew:unreachable-pattern-errors-into-warnings, r=a...bors-11/+4
2017-01-22Remove unused `extern crate`s.Jeffrey Seyfried-2/+0
2017-01-21Fix some nitsAndrew Cann-0/+2
2017-01-19add exclusive range patterns under a feature gateOliver Schneider-24/+47
2017-01-17Change unreachable patterns ICEs to warningsAndrew Cann-11/+2
2017-01-11Fix two const-eval issues related to i128 negationSimonas Kazlauskas-13/+16
2017-01-06rustc: store ty::Tables separately for each body (except closures').Eduard-Mihai Burtescu-30/+44
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-213/+218
2017-01-06fix doc test for E0001Andrew Cann-1/+1
2017-01-05Un-remove E0001, put a notice on it insteadAndrew Cann-0/+27
2017-01-04Fix build after rebaseAndrew Cann-23/+31
2017-01-03Spelling. s/forrest/forestAndrew Cann-4/+4
2017-01-03fix comment that got split in twoNiko Matsakis-3/+2
2017-01-03Fix build after rebase.Andrew Cann-16/+18
2017-01-03Remove E0001 diagnosticAndrew Cann-25/+0
2017-01-03Disable unreachable patterns error entirelyAndrew Cann-12/+9
2017-01-03Refactor is_uninhabitedAndrew Cann-7/+7
2017-01-03Fix build after rebaseAndrew Cann-5/+5
2017-01-03Style fixAndrew Cann-2/+1
2017-01-03Improve error message, fix and add tests.Andrew Cann-28/+41
2017-01-03More pattern matching for empty types changesAndrew Cann-84/+128
2017-01-03Make is_useful handle empty types properlyAndrew Cann-19/+66