summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
2021-07-21Improve caching during trait evaluationAaron Hill-0/+14
2021-07-17Some perf optimizations and loggingjackh726-2/+1
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-2/+6
2021-05-19deal with `const_evaluatable_checked` in `ConstEquate`lcnr-2/+11
2021-03-31Track bound varsJack Huey-1/+1
2021-03-21Rollup merge of #83040 - lcnr:unused-ct-substs, r=oli-obkDylan DPC-10/+7
2021-03-21Rollup merge of #82707 - BoxyUwU:errooaaar, r=oli-obkDylan DPC-9/+15
2021-03-20update `const_eval_resolve`lcnr-10/+4
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-6/+9
2021-03-06Change x64 size checks to not apply to x32.Harald van Dijk-1/+1
2021-03-03Fix tidy err and reviewEllen-10/+6
2021-03-02errooaaar~Ellen-9/+19
2021-02-23Small optimizations to obligation forestkadmin-19/+24
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-10/+10
2021-02-13Remove some unnecessary `trait_ref` callsMatthew Jasper-10/+10
2021-02-13Use debug log level for developer oriented logsTomasz Miąsko-1/+1
2021-01-16Review changesJack Huey-29/+28
2021-01-16CleanupJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-1/+1
2021-01-16Intermediate formatting and suchJack Huey-40/+40
2021-01-16Remove PredicateKind::AtomJack Huey-37/+39
2020-11-16compiler: fold by valueBastian Kauschke-9/+9
2020-11-04fix a couple of clippy warnings:Matthias Krüger-1/+1
2020-10-19Auto merge of #77908 - bugadani:obl-forest, r=nnethercotebors-6/+4
2020-10-16map_bound_ref -> rebindJack Huey-2/+2
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-2/+2
2020-10-15Turn Outcome into an opaque type to remove some runtime checksDániel Buga-6/+4
2020-10-11Use tracing spans in rustc_trait_selectionMatthew Jasper-20/+13
2020-10-06Fix rebaseMatthew Jasper-2/+2
2020-10-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-0/+1
2020-10-01Rollup merge of #77303 - lcnr:const-evaluatable-TooGeneric, r=oli-obk,varkorDylan DPC-2/+11
2020-09-28const evaluatable: improve `TooGeneric` handlingBastian Kauschke-2/+11
2020-09-26Revert "Add an unused field of type `Option<DefId>` to `ParamEnv` struct."Dylan MacKenzie-1/+1
2020-09-24perf: split progress_obligations with inline(never)Bastian Kauschke-18/+27
2020-09-21Add an unused field of type `Option<DefId>` to `ParamEnv` struct.Bram van den Heuvel-1/+1
2020-09-18use abstract consts when unifying ConstKind::UnevaluatedBastian Kauschke-0/+19
2020-09-13Auto merge of #76244 - vandenheuvel:remove__paramenv__def_id, r=nikomatsakisbors-1/+7
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+7
2020-09-08reviewBastian Kauschke-6/+5
2020-09-08make `ConstEvaluatable` more strictBastian Kauschke-8/+10
2020-08-30mv compiler to compiler/mark-0/+668
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 21:16:32 +0000