about summary refs log tree commit diff
path: root/src/librustc/middle/const_eval.rs
AgeCommit message (Expand)AuthorLines
2016-03-30move `const_eval` and `check_match` out of `librustc`Oliver Schneider-1277/+0
2016-03-30rename `rustc_const_eval` to `rustc_const_math`Oliver Schneider-1/+1
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-4/+4
2016-03-27rustc: move middle::subst into middle::ty.Eduard Burtescu-2/+2
2016-03-25check for both partialeq and eqNiko Matsakis-1/+1
2016-03-25issue a future-compat lint for constants of invalid typeNiko Matsakis-7/+39
2016-03-25make `const_expr_to_pat` fallible (but never have it actually fail)Niko Matsakis-15/+25
2016-03-22try! -> ?Jorge Aparicio-27/+27
2016-03-21Expose attached attributes to `FnKind` abstraction so that I can look at them...Felix S. Klock II-2/+2
2016-03-17const_eval: Take just one set of substitutions in lookup_const_by_id.Eduard Burtescu-42/+25
2016-03-16don't assume the rhs of a bitshift is of any particular typeOliver Schneider-1/+1
2016-03-14Move projection_mode to InferContext rather than SelectionContext to reduce c...Aaron Turon-1/+7
2016-03-10don't be a breaking change, even in presence of overflowing literalsOliver Schneider-73/+37
2016-03-10simplify const path lookup for constants and associated constantsOliver Schneider-109/+55
2016-03-10prefer the (associated) const's type over the type hintOliver Schneider-10/+6
2016-03-10also print the expected type in the error messageOliver Schneider-5/+9
2016-03-10the type hint given during a cast operation is just a soft hintOliver Schneider-1/+15
2016-03-10infer integral types in presence of a type hintOliver Schneider-4/+110
2016-03-10don't guess const fn argument typesOliver Schneider-18/+1
2016-03-10const eval failures aren't fatal, simply return a dummy insteadOliver 'ker' Schneider-2/+14
2016-03-10typestrong constant integersOliver Schneider-442/+257
2016-03-03Rename middle::ty::ctxt to TyCtxtJeffrey Seyfried-14/+14
2016-02-29Use HIR map instead of tcx in constant evaluatorSeo Sanghyeon-1/+18
2016-02-16Split PatKind::Enum into PatKind::TupleStruct and PatKind::PathVadim Petrochenkov-5/+3
2016-02-14Rename hir::Pat_ and its variantsVadim Petrochenkov-9/+9
2016-02-12Autoderef in librustcJonas Schievink-20/+20
2016-02-11[breaking-change] don't pub export ast::IntLitType variantsOliver Schneider-3/+3
2016-02-11[breaking-change] don't pub export ast::Lit_ variantsOliver Schneider-10/+10
2016-02-11[breaking-change] remove the sign from integer literals in the astOliver Schneider-4/+2
2016-02-11[breaking-change] don't glob export ast::{UintTy, IntTy} variantsOliver Schneider-30/+30
2016-02-11[breaking-change] don't glob export ast::FloatTy variantsOliver Schneider-2/+2
2016-02-04ICE more gracefully in constant evaluation when float parsing failsRobin Kruppe-3/+9
2016-01-25Auto merge of #30899 - oli-obk:non-local-const-fn, r=pnkfelixbors-58/+11
2016-01-21clean up trans_static_method_callee and friendsAriel Ben-Yehuda-14/+5
2016-01-20Rename Def's variants and don't reexport themVadim Petrochenkov-15/+16
2016-01-20Refactor definitions of ADTs in rustc::middle::defVadim Petrochenkov-4/+4
2016-01-17enable cross crate and unsafe const fnOliver Schneider-58/+11
2016-01-17Rollup merge of #30943 - alexcrichton:stabilize-1.7, r=aturonManish Goregaokar-2/+2
2016-01-16std: Stabilize APIs for the 1.7 releaseAlex Crichton-2/+2
2016-01-16Auto merge of #30934 - oli-obk:simplify_const_eval, r=alexcrichtonbors-20/+6
2016-01-16Auto merge of #30533 - nikomatsakis:fulfillment-tree, r=aturonbors-1/+1
2016-01-16simplify some codeOliver 'ker' Schneider-20/+6
2016-01-16fallout from removing the `errors_will_be_reported` flagNiko Matsakis-1/+1
2016-01-14Support generic associated constsMichael Wu-15/+26
2015-12-19Auto merge of #30184 - petrochenkov:ascr, r=nikomatsakisbors-0/+1
2015-12-18Rollup merge of #30420 - petrochenkov:owned2, r=nrcManish Goregaokar-2/+2
2015-12-18Rollup merge of #30286 - oli-obk:const_error_span, r=nikomatsakisManish Goregaokar-25/+19
2015-12-18Abstract away differences between Vec and ptr::P in HIRVadim Petrochenkov-2/+2
2015-12-16Add ExprType to HIR and make everything compileVadim Petrochenkov-1/+1
2015-12-16Implement type ascription.Eduard Burtescu-0/+1