summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-11-06review commentsEsteban Küber-14/+10
2020-11-06Do not ICE with TraitPredicates containing [type error]Esteban Küber-6/+13
2020-11-06revert #75443 update mir validatorBastian Kauschke-2/+2
2020-11-06Do not ICE on invalid inputEsteban Küber-7/+13
2020-10-01Rollup merge of #77305 - lcnr:candidate_from_obligation, r=davidtwcoDylan DPC-156/+161
2020-10-01Rollup merge of #77303 - lcnr:const-evaluatable-TooGeneric, r=oli-obk,varkorDylan DPC-34/+150
2020-09-28move candidate_from_obligation_no_cacheBastian Kauschke-156/+161
2020-09-28const evaluatable: improve `TooGeneric` handlingBastian Kauschke-34/+150
2020-09-26Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."Dylan MacKenzie-1/+1
2020-09-26Rollup merge of #77211 - est31:remove_unused_allow, r=oli-obkRalf Jung-2/+1
2020-09-26Rollup merge of #77093 - lcnr:const-generics-infer-warning, r=varkorRalf Jung-16/+21
2020-09-26rename functionsBastian Kauschke-7/+21
2020-09-26Remove unused #[allow(...)] statements from compiler/est31-2/+1
2020-09-25Rollup merge of #77155 - lcnr:ImplSource, r=ecstatic-morseJonas Schievink-41/+36
2020-09-25Auto merge of #77041 - lcnr:const-eval-perf, r=ecstatic-morsebors-18/+27
2020-09-25Rollup merge of #77121 - duckymirror:html-root-url, r=jyn514Jonas Schievink-1/+1
2020-09-24perf: split progress_obligations with inline(never)Bastian Kauschke-18/+27
2020-09-24remove enum name from ImplSource variantsBastian Kauschke-41/+36
2020-09-24assign the correct `DefId` in `nominal_obligations`Bastian Kauschke-4/+16
2020-09-23/nightly/nightly-rustcErik Hofmayer-1/+1
2020-09-23Updated html_root_url for compiler cratesErik Hofmayer-1/+1
2020-09-23Rollup merge of #76939 - lcnr:const-evaluatable-cont, r=oli-obkDylan DPC-77/+116
2020-09-23merge `need_type_info_err(_const)`Bastian Kauschke-16/+7
2020-09-22Auto merge of #76928 - lcnr:opaque-types-cache, r=tmandrybors-2/+11
2020-09-21reviewBastian Kauschke-13/+8
2020-09-21Add an unused field of type `Option<DefId>` to `ParamEnv` struct.Bram van den Heuvel-1/+1
2020-09-19wordsBastian Kauschke-1/+1
2020-09-19wip emit errors during AbstractConst buildingBastian Kauschke-75/+119
2020-09-19cache types during normalizationBastian Kauschke-2/+11
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