about summary refs log tree commit diff
AgeCommit message (Expand)AuthorLines
2016-08-13Add tests for ! typeAndrew Cann-0/+259
2016-08-13Add some tests for ! typeAndrew Cann-0/+60
2016-08-13Revert Ty::is_uninhabited to its original stateAndrew Cann-3/+3
2016-08-13Minor fixups based on feedbackAndrew Cann-2/+2
2016-08-13Add run-pass/never_coercions.rs testAndrew Cann-0/+19
2016-08-13Correctly handle AdjustNeverToAny in try_find_coercion_lubAndrew Cann-1/+7
2016-08-13Minor fixup.Andrew Cann-2/+1
2016-08-13Lookup node type in map rather than using write_ty_exprAndrew Cann-38/+37
2016-08-13Default diverging types based on feature gate.Andrew Cann-4/+12
2016-08-13Minor fixAndrew Cann-2/+1
2016-08-13Un-improve Ty::is_uninabitedAndrew Cann-3/+7
2016-08-13Rename empty/bang to neverAndrew Cann-150/+161
2016-08-13Minor fixups based on @eddyb's feedbackAndrew Cann-33/+30
2016-08-13Control usage of `!` through a feature gate.Andrew Cann-3/+26
2016-08-13Make AdjustEmptyToAny actually perform the adjustmentAndrew Cann-4/+4
2016-08-13Remove invalid compile-fail tests related to `!`Andrew Cann-178/+0
2016-08-13implement std::cmp::* traits for `!`Andrew Cann-0/+33
2016-08-13Fix build after rebase to lastest masterAndrew Cann-2/+2
2016-08-13Remove obsolete divergence related stuffAndrew Cann-587/+250
2016-08-13impl Debug + Display for !Andrew Cann-0/+23
2016-08-13Make unused lint ignore unused `!`Andrew Cann-0/+1
2016-08-13Fix super_relate_tys so that ! == !Andrew Cann-0/+1
2016-08-13Switch on TyEmptyAndrew Cann-54/+88
2016-08-13Fix rustdoc after rebaseAndrew Cann-0/+2
2016-08-13Small optimizationAndrew Cann-4/+16
2016-08-13Add run-fail/adjust_empty.rs testAndrew Cann-0/+18
2016-08-13Invoke coercions on !Andrew Cann-1/+6
2016-08-13Add EmptyToAny adjustmentAndrew Cann-7/+69
2016-08-13Parse `!` as TyEmpty (except in fn return type)Andrew Cann-0/+2
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-17/+69
2016-08-13Auto merge of #35348 - scottcarr:discriminant2, r=nikomatsakisbors-18/+156
2016-08-12Auto merge of #35138 - petrochenkov:clarify, r=eddybbors-218/+330
2016-08-13Parse numeric fields in struct expressions and patternsVadim Petrochenkov-2/+54
2016-08-13Remove restrictions from tuple structs/variantsVadim Petrochenkov-224/+284
2016-08-12Auto merge of #35431 - GuillaumeGomez:err_codes, r=jonathandturnerbors-263/+512
2016-08-12Auto merge of #35091 - eddyb:impl-trait, r=nikomatsakisbors-532/+2788
2016-08-11Auto merge of #34811 - DanielJCampbell:Expander, r=jseyfriedbors-46/+82
2016-08-12test: add more extensive tests for impl Trait.Eduard Burtescu-0/+291
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-163/+613
2016-08-12typeck: record `impl Trait` concrete resolutions.Eduard Burtescu-96/+1224
2016-08-12typeck: disallow `impl Trait` outside of return types of functions and impl m...Eduard Burtescu-43/+174
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-85/+250
2016-08-12syntax: add anonymized type syntax, i.e. impl TraitA+TraitB.Eduard Burtescu-4/+68
2016-08-12rustc: don't reveal specializable polymorphic projections.Eduard Burtescu-35/+48
2016-08-12rustc: always normalize projections in ty::layout regardless where they appear.Eduard Burtescu-25/+65
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-109/+83
2016-08-11Auto merge of #35592 - jonathandturner:rollup, r=jonathandturnerbors-376/+543
2016-08-11add SetDiscriminant StatementKind to enable deaggregation of enumsScott A Carr-18/+156
2016-08-11Fix tidy warningJonathan Turner-1/+2
2016-08-11Auto merge of #34193 - petrochenkov:privalias, r=nikomatsakisbors-18/+127