summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
AgeCommit message (Expand)AuthorLines
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