summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
2021-03-26Use iter::zip in compiler/Josh Stone-3/+2
2021-03-21Rollup merge of #83040 - lcnr:unused-ct-substs, r=oli-obkDylan DPC-18/+33
2021-03-21Rollup merge of #82707 - BoxyUwU:errooaaar, r=oli-obkDylan DPC-50/+13
2021-03-20update `const_eval_resolve`lcnr-1/+5
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-17/+28
2021-03-15s/ConstantSource/ConstantKind/Oli Scherer-2/+2
2021-03-12Prepare mir::Constant for ty::Const only supporting valtreesOli Scherer-1/+4
2021-03-05Shrink the size of Rvalue by 16 bytesOli Scherer-2/+4
2021-03-03Fix tidy err and reviewEllen-6/+4
2021-03-03Remove extraneous return statementEllen-2/+2
2021-03-02nitsEllen-4/+9
2021-03-02errooaaar~Ellen-53/+13
2021-02-15the environment round here is awfully emptyEllen-7/+6
2021-02-03Miscellaneous small diagnostics cleanupCamelid-1/+1
2021-02-02Rollup merge of #81544 - JulianKnodt:sat_where, r=lcnrJack Huey-13/+17
2021-02-02Add better diagnostic for missing where clausekadmin-13/+17
2021-02-01more things are const evaluatable *sparkles*Ellen-9/+22
2021-01-27commentsEllen-1/+3
2021-01-27boop, ur abstract consts are now expandedEllen-4/+20
2021-01-16Review changesJack Huey-2/+2
2021-01-04Keep an unoptimized duplicate of `const fn` aroundoli-1/+1
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-7/+7
2020-11-07look at assoc ct, check the type of nodesBastian Kauschke-0/+17
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-4/+4
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-18/+25
2020-10-26debug log `AbstractConst::new`Bastian Kauschke-0/+1
2020-10-25check for object safety violations in constantsBastian Kauschke-23/+37
2020-10-23reviewBastian Kauschke-32/+36
2020-10-23const_eval_checked: deal with unused nodes + divBastian Kauschke-12/+51
2020-10-05query_name_of_opt_const_arg -> query_name_opt_const_argBastian Kauschke-2/+2
2020-10-04cleanup WithOptConstParam queriesBastian Kauschke-12/+2
2020-09-28const evaluatable: improve `TooGeneric` handlingBastian Kauschke-15/+138
2020-09-21reviewBastian Kauschke-13/+8
2020-09-19wordsBastian Kauschke-1/+1
2020-09-19wip emit errors during AbstractConst buildingBastian Kauschke-75/+118
2020-09-18add `const-evaluatable_checked` check back inBastian Kauschke-16/+16
2020-09-18review, small cleanupBastian Kauschke-18/+21
2020-09-18document `const_evaluatable`Bastian Kauschke-3/+47
2020-09-18remove allow(warnings)Bastian Kauschke-2/+0
2020-09-18support const_evaluatable_checked across crate boundariesBastian Kauschke-0/+15
2020-09-18add function callsBastian Kauschke-0/+18
2020-09-18allow unary operations and ignore StorageLive/Dead stmtsBastian Kauschke-4/+23
2020-09-18use newtype_index for abstract_const::NodeIdBastian Kauschke-14/+10
2020-09-18refactor AbstractConstBuilderBastian Kauschke-58/+67
2020-09-18use abstract consts when unifying ConstKind::UnevaluatedBastian Kauschke-1/+21
2020-09-18initial working stateBastian Kauschke-12/+244
2020-09-10fix tidy, small cleanupBastian Kauschke-5/+1
2020-09-10implement `const_evaluatable_checked` feature MVPBastian Kauschke-15/+36
2020-09-08add tracking issue, fix rebaseBastian Kauschke-0/+61