summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2021-10-04Auto merge of #89125 - Aaron1011:remove-intercrate-cache, r=jackh726bors-0/+18
2021-10-04Auto merge of #88994 - Aaron1011:intercrate-caching, r=jackh726bors-0/+16
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-1/+1
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-1/+1
2021-08-27fmtDeadbeef-24/+26
2021-08-27Add `ty::BoundConstness`Deadbeef-20/+21
2021-08-26reviewlcnr-1/+1
2021-08-26shrink `ty::PredicateKind` againlcnr-1/+1
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-3/+2
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-4/+8
2021-08-26add `tcx` to `fn walk`lcnr-4/+4
2021-08-23Rollup merge of #88230 - steffahn:a_an, r=oli-obkMara Bos-1/+1
2021-08-22Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnrbors-4/+1
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-22Auto merge of #88139 - lcnr:marker-trait-attr, r=nikomatsakisbors-3/+10
2021-08-21Auto merge of #88135 - crlf0710:trait_upcasting_part_3, r=nikomatsakisbors-64/+174
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+16
2021-08-19move code to `InferCtxt` methodEllen-8/+1
2021-08-19canonicalize const equate predicatesEllen-4/+8
2021-08-18marker_traits: require `EvaluatedToOk`lcnr-3/+10
2021-08-18Fold `vtable_trait_upcasting_coercion_new_vptr_slot` logic into obligation pr...Charles Lew-8/+43
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-63/+138
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-13make check less conservative and add explanationDeadbeef-0/+12
2021-08-13Fix testsDeadbeef-2/+3
2021-08-13Pass constness to SelectionContextDeadbeef-20/+45
2021-08-13Make selection and evaluation caches use constnessDeadbeef-30/+57
2021-08-13fmtDeadbeef-1/+2
2021-08-13fmtDeadbeef-2/+3
2021-08-13Filter non-const impls when we expect a const oneDeadbeef-6/+23
2021-08-13move Constness into TraitPredicateDeadbeef-6/+5
2021-07-31Implement trait upcasting coercion type-checking.Charles Lew-20/+56
2021-07-21Improve caching during trait evaluationAaron Hill-4/+4
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-1/+7
2021-07-17Some perf optimizations and loggingjackh726-3/+7
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-2/+2
2021-07-04Combine individual limit queries into single `limits` queryAaron Hill-1/+1
2021-07-04Query-ify global limit attribute handlingAaron Hill-1/+1
2021-06-29Return `EvaluatedToOk` when type in outlives predicate is globalAaron Hill-1/+9
2021-06-15Refactor to make interpreter and codegen backend neutral to vtable internal r...Charles Lew-12/+7
2021-05-25Auto merge of #85481 - lcnr:const-equate, r=matthewjasperbors-1/+23
2021-05-19deal with `const_evaluatable_checked` in `ConstEquate`lcnr-1/+23
2021-05-13have on_completion record subcyclesNiko Matsakis-48/+60
2021-05-07Rollup merge of #84987 - lcnr:nits, r=Mark-SimulacrumDylan DPC-2/+0
2021-05-06Auto merge of #84559 - jackh726:issue-84398, r=nikomatsakisbors-1/+11
2021-05-06outdated commentlcnr-2/+0
2021-05-06Pick candidate with fewer bound varsJack Huey-5/+5
2021-04-27Make traits with GATs not object safeJack Huey-4/+3
2021-04-25Deduplicate ParamCandidates with the same value except for bound varsJack Huey-1/+11
2021-04-19fix few typosklensy-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 11:21:31 +0000