about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/transform/check_consts
AgeCommit message (Expand)AuthorLines
2021-09-07Rename rustc_mir to rustc_const_eval.Camille GILLOT-2484/+0
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-7/+6
2021-09-02do not resolve instances for trait fn idsb-naber-17/+19
2021-08-27fmtDeadbeef-4/+9
2021-08-27Add `ty::BoundConstness`Deadbeef-2/+2
2021-08-27Fix #88155Deadbeef-36/+46
2021-08-26add `tcx` to `fn walk`lcnr-1/+1
2021-08-26make unevaluated const substs optionallcnr-1/+1
2021-08-22Fix more “a”/“an” typosFrank Steffahn-1/+1
2021-08-19introduce a Coerce predicateNiko Matsakis-2/+2
2021-08-16Skip assert ICE with default_method_body_is_constDeadbeef-1/+8
2021-08-13move Constness into TraitPredicateDeadbeef-2/+5
2021-08-01Auto merge of #87449 - matthiaskrgr:clippyy_v2, r=nagisabors-1/+1
2021-07-28Improve comments about const panic handlingMara Bos-0/+3
2021-07-28Make const panic!("..") work in Rust 2021.Mara Bos-0/+2
2021-07-27Stabilize `const_fn_union`Jacob Pratt-28/+1
2021-07-27Stabilize `const_fn_transmute`Jacob Pratt-32/+0
2021-07-25clippy::useless_formatMatthias Krüger-1/+1
2021-07-24rename Validator → CheckerRalf Jung-5/+5
2021-07-24rename const checking visitor module to check_consts::checkRalf Jung-2/+2
2021-07-19Iterate through impls only when permittedDeadbeef-8/+11
2021-07-13Auto merge of #86857 - fee1-dead:add-attr, r=oli-obkbors-2/+28
2021-07-10Permit calls to default const fns of impl constDeadbeef-7/+25
2021-07-10Skip check for calling functions in same traitDeadbeef-3/+11
2021-07-10remove const_raw_ptr_to_usize_cast featureRalf Jung-10/+15
2021-07-03Remove `ty::Binder::bind()`Yuki Okushi-6/+1
2021-06-05Drop an `if let` that will always succeedLingMan-7/+5
2021-06-03Rollup merge of #85934 - tmiasko:is-union, r=jackh726Yuki Okushi-6/+2
2021-06-02Add `Ty::is_union` predicate and use itTomasz Miąsko-6/+2
2021-06-02convert Rvalue::threadlocalref assertion to delay bugcsmoe-9/+4
2021-06-01skip check_static on rvalue::threadlocalrefcsmoe-1/+5
2021-05-22stabilize const_fn_unsizeRalf Jung-38/+4
2021-05-16Allow `async {}` expressions in const contextsJonas Schievink-2/+10
2021-04-29don't let const_fn feature flag affect impl-block-level trait boundsRalf Jung-11/+2
2021-04-24Auto merge of #84310 - RalfJung:const-fn-feature-flags, r=oli-obkbors-32/+22
2021-04-19remove E0723 error codeRalf Jung-8/+6
2021-04-19fix few typosklensy-2/+2
2021-04-19add gate tests and pacify tidyRalf Jung-1/+1
2021-04-18separate feature flag for unsizing casts in const fnRalf Jung-22/+9
2021-04-18move 'trait bounds on const fn' to separate feature gateRalf Jung-3/+8
2021-03-31Track bound varsJack Huey-3/+6
2021-03-22Rollup merge of #83351 - RalfJung:precise-const-drop, r=oli-obkDylan DPC-1/+7
2021-03-21post-drop-elab check-const: explain why we still check qualifsRalf Jung-1/+7
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-1/+1
2021-03-12Prepare mir::Constant for ty::Const only supporting valtreesOli Scherer-17/+19
2021-03-09Update match brancheskadmin-0/+1
2021-03-08Auto merge of #82727 - oli-obk:shrinkmem, r=pnkfelixbors-3/+3
2021-03-05Shrink the size of Rvalue by 16 bytesOli Scherer-3/+3
2021-03-04Auto merge of #81114 - bugadani:generator, r=estebankbors-1/+1
2021-03-02Rollup merge of #80734 - abonander:ab/issue-66693, r=oli-obkGuillaume Gomez-2/+22