summary refs log tree commit diff
path: root/src/librustc_const_eval/pattern.rs
AgeCommit message (Collapse)AuthorLines
2017-03-09Fix ICE: don't use `struct_variant` on enumsEsteban Küber-1/+5
Fix #40221 and add unittest.
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-1/+1
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-1/+1
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-3/+3
2017-01-19add exclusive range patterns under a feature gateOliver Schneider-7/+13
2017-01-06rustc: store ty::Tables separately for each body (except closures').Eduard-Mihai Burtescu-1/+1
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-23/+30
2017-01-04Fix build after rebaseAndrew Cann-12/+15
2017-01-03Fix build after rebaseAndrew Cann-5/+5
2017-01-03More pattern matching for empty types changesAndrew Cann-5/+14
Fix is_uninhabited for enum types. It used to assume that an enums variant's fields were all private. Fix MIR generation for irrefutable Variant pattern matches. This allows code like this to work: let x: Result<32, !> = Ok(123); let Ok(y) = x; Carry type information on dummy wildcard patterns. Sometimes we need to expand these patterns into their constructors and we don't want to be expanding a TyError into a Constructor::Single.
2017-01-01rustc_const_eval: convert constants to Pattern instead of hir::Pat.Eduard-Mihai Burtescu-54/+177
2017-01-01rustc_const_eval: build Pattern instead of hir::Pat for pretty-printing.Eduard-Mihai Burtescu-1/+154
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-20/+10
2016-11-28rustc: embed path resolutions into the HIR instead of keeping DefMap.Eduard-Mihai Burtescu-16/+16
2016-11-10Work around a borrow surviving too long (fixes #37686)Anthony Ramine-1/+2
2016-11-02rustc: make all read access to tcx.tables go through a method.Eduard Burtescu-8/+9
2016-10-28rustc: move mir::repr::* to mir.Eduard Burtescu-1/+1
2016-10-27Address comments + Fix rebaseVadim Petrochenkov-1/+1
2016-10-26flatten nested slice patterns in HAIR constructionAriel Ben-Yehuda-10/+43
nested slice patterns have the same functionality as non-nested ones, so flatten them in HAIR construction. Fixes #26158.
2016-10-26remove StaticInliner and NaN checkingAriel Ben-Yehuda-68/+108
NaN checking was a lint for a deprecated feature. It can go away.
2016-10-26change match checking to use HAIRAriel Ben-Yehuda-5/+167
no intended functional changes
2016-10-26move hair::cx::pattern to const_evalAriel Ben-Yehuda-0/+377