summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2021-10-04Auto merge of #89285 - jackh726:issue-88862, r=nikomatsakisbors-8/+8
2021-10-04Auto merge of #89125 - Aaron1011:remove-intercrate-cache, r=jackh726bors-6/+42
2021-10-04Auto merge of #88994 - Aaron1011:intercrate-caching, r=jackh726bors-0/+16
2021-09-03Auto merge of #88618 - m-ou-se:rollup-6tss5z6, r=m-ou-sebors-30/+5
2021-09-03Rollup merge of #88557 - lcnr:const-generics-cleanup, r=BoxyUwUMara Bos-30/+5
2021-09-03Auto merge of #86454 - tlyu:refactor-unsized-suggestions, r=davidtwcobors-67/+112
2021-09-02Report cycle error using 'deepest' obligation in the cycleAaron Hill-1/+3
2021-09-02Preserve most sub-obligations in the projection cacheAaron Hill-49/+26
2021-09-01cleanup const generics FIXMElcnr-30/+5
2021-08-30Enforce diverging let...elseCameron Steffen-4/+5
2021-08-30rename const_evaluatable_checked to generic_const_exprsEllen-11/+11
2021-08-27fmtDeadbeef-25/+30
2021-08-27Add `ty::BoundConstness`Deadbeef-22/+23
2021-08-27Auto merge of #88371 - Manishearth:rollup-pkkjsme, r=Manishearthbors-1/+5
2021-08-26Rollup merge of #88320 - sexxi-goose:issue-88103, r=nikomatsakisManish Goregaokar-1/+5
2021-08-26rebaselcnr-4/+12
2021-08-26reviewlcnr-6/+6
2021-08-26shrink `ty::PredicateKind` againlcnr-7/+7
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-47/+39
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-12/+16
2021-08-26add `tcx` to `fn walk`lcnr-8/+9
2021-08-26make unevaluated const substs optionallcnr-20/+17
2021-08-26require a `tcx` for `TypeVisitor`lcnr-2/+16
2021-08-25trailing whitespaceNiko Matsakis-1/+1
2021-08-25update docs for `type_implements_trait`Niko Matsakis-0/+4
2021-08-25type_implements_trait consider obligation failure on overflowAman Arora-1/+1
2021-08-24Review commentsjackh726-39/+66
2021-08-24Normalize associated types with bound varsJack Huey-70/+115
2021-08-23Rollup merge of #88230 - steffahn:a_an, r=oli-obkMara Bos-10/+10
2021-08-22Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnrbors-9/+2
2021-08-22Fix typos “a”→“an”Frank Steffahn-10/+10
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-101/+205
2021-08-21Auto merge of #88149 - Mark-Simulacrum:prep-never-type, r=jackh726bors-0/+56
2021-08-20Require a box expression's type to be SizedAnton Golov-0/+3
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+56
2021-08-19move code to `InferCtxt` methodEllen-16/+2
2021-08-19canonicalize const equate predicatesEllen-9/+16
2021-08-20Add assertion to ensure the query doesn't get called before type infererence ...Charles Lew-2/+2
2021-08-18Auto merge of #86700 - lqd:matthews-nll-hrtb-errors, r=nikomatsakisbors-30/+38
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-45/+74
2021-08-18Properly generate multiple candidates for trait upcasting coercion.Charles Lew-63/+138
2021-08-17Auto merge of #87668 - estebank:tweak-bound-output, r=oli-obkbors-7/+8
2021-08-16Use note to point at bound introducing requirementEsteban Küber-7/+8
2021-08-15Return the canonicalized query from type opsMatthew Jasper-30/+38
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-13make check less conservative and add explanationDeadbeef-11/+24
2021-08-13Fix testsDeadbeef-2/+3
2021-08-13Fix assoc-type testDeadbeef-0/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 12:42:59 +0000