summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-6/+6
2021-08-26reviewlcnr-3/+3
2021-08-26shrink `ty::PredicateKind` againlcnr-5/+5
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-32/+21
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-3/+3
2021-08-26make unevaluated const substs optionallcnr-8/+3
2021-06-10support `as _` and add testsEllen-1/+3
2021-06-09Add more tests + visit_ty in some placesEllen-4/+13
2021-06-08Support as casts in abstract constsEllen-3/+19
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