about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-09-19Auto merge of #76886 - Aaron1011:fix/ensure-stack-predicate, r=Mark-Simulacrumbors-119/+133
2020-09-18Wrap recursive predicate evaluation with `ensure_sufficient_stack`Aaron Hill-119/+133
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-1/+16
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/+41
2020-09-18initial working stateBastian Kauschke-12/+259
2020-09-16Rollup merge of #76756 - matthiaskrgr:cl123ppy, r=Dylan-DPCTyler Mandry-1/+1
2020-09-16Rollup merge of #76641 - nox:pointee-random-stuff, r=eddybRalf Jung-6/+1
2020-09-16Rollup merge of #75304 - Aaron1011:feature/diag-deref-move-out, r=estebankDylan DPC-1/+8
2020-09-15fix a couple of stylistic clippy warningsMatthias Krüger-1/+1
2020-09-13Auto merge of #76244 - vandenheuvel:remove__paramenv__def_id, r=nikomatsakisbors-156/+39
2020-09-12Clean up some language trait items comparisonsAnthony Ramine-6/+1
2020-09-10Note when a a move/borrow error is caused by a deref coercionAaron Hill-1/+8
2020-09-10fix tidy, small cleanupBastian Kauschke-5/+1
2020-09-10implement `const_evaluatable_checked` feature MVPBastian Kauschke-15/+36
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-156/+39
2020-09-08add tracking issue, fix rebaseBastian Kauschke-0/+61
2020-09-08reviewBastian Kauschke-13/+11
2020-09-08make `ConstEvaluatable` more strictBastian Kauschke-17/+22
2020-09-04ty.flags -> ty.flags()LeSeulArtichaut-1/+1
2020-09-04Change ty.kind to a methodLeSeulArtichaut-73/+75
2020-09-03specialization_graph: avoid trimmed paths for OverlapErrorDan Aloni-2/+4
2020-09-02pretty: trim paths of unique symbolsDan Aloni-14/+20
2020-09-02Fix some unwanted uses of Debug formatting on user-facing messagesDan Aloni-2/+2
2020-08-30mv compiler to compiler/mark-0/+19303