about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-01-25Liberate late-bound regions correctlyMichael Goulet-2/+2
2023-01-25Auto merge of #103902 - vincenzopalazzo:macros/obligation_rulesv2, r=oli-obkbors-73/+60
2023-01-25Rollup merge of #107227 - lcnr:solver-new-external-api, r=compiler-errorsDylan DPC-17/+32
2023-01-24no without_constnessBoxy-2/+1
2023-01-24sorry ericaBoxy-1/+1
2023-01-24implement builtin candidateBoxy-0/+106
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-1/+3
2023-01-23`new_outside_solver` -> `evaluate_root_goal`lcnr-17/+32
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-73/+60
2023-01-23Rollup merge of #107101 - compiler-errors:perf-106309-1, r=petrochenkovYuki Okushi-2/+2
2023-01-23Rollup merge of #104926 - spastorino:calculate_diverging_fallback-cleanups, r...Dylan DPC-89/+5
2023-01-22Store relationships on InherentSantiago Pastorino-89/+5
2023-01-21Address goal nitsMichael Goulet-38/+54
2023-01-21Implement some more predicatesMichael Goulet-7/+57
2023-01-20Rollup merge of #107061 - compiler-errors:new-solver-new-candidates-3, r=lcnrMichael Goulet-20/+202
2023-01-20Auto merge of #105102 - compiler-errors:copy-impl-considering-regions, r=lcnrbors-23/+70
2023-01-20Auto merge of #107106 - matthiaskrgr:rollup-g7r1ep0, r=matthiaskrgrbors-8/+26
2023-01-20Auto merge of #107105 - matthiaskrgr:rollup-rkz9t7r, r=matthiaskrgrbors-22/+20
2023-01-20Rollup merge of #106891 - estebank:issue-45727, r=petrochenkovMatthias Krüger-8/+26
2023-01-20Rollup merge of #106973 - oli-obk:tait_ice_closure_in_impl_header, r=lcnrMatthias Krüger-22/+20
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-9/+9
2023-01-20Filter predicates first for fast-path type flagsMichael Goulet-2/+2
2023-01-19Tweak "borrow closure argument" suggestionEsteban Küber-8/+26
2023-01-19trait solver: Implement Fn traits and tuple traitMichael Goulet-7/+142
2023-01-19trait solver: PointerSizedMichael Goulet-2/+39
2023-01-19swap Ambiguity and Unimplemented in new trait engineMichael Goulet-2/+4
2023-01-19Assert goal is fully normalized during assembleMichael Goulet-1/+4
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-1/+1
2023-01-19HACK: self ty ambiguity hackMichael Goulet-1/+11
2023-01-19Fix IndexVec::drain_enumeratedMichael Goulet-10/+5
2023-01-19Don't treat closures from other crates as localOli Scherer-22/+20
2023-01-18Rollup merge of #107030 - albertlarsan68:patch-3, r=lcnrMichael Goulet-1/+1
2023-01-18Rollup merge of #107023 - scottmcm:stop-shouting, r=NilstriebMichael Goulet-24/+24
2023-01-18Handle structural traits more gracefullyMichael Goulet-215/+212
2023-01-18no subtyping in the new trait solverMichael Goulet-34/+23
2023-01-18Sized, Copy/CloneMichael Goulet-3/+151
2023-01-18Auto and alias traitsMichael Goulet-21/+164
2023-01-18Assemble object bound candidatesMichael Goulet-0/+52
2023-01-18implement consider_assumptionMichael Goulet-10/+70
2023-01-18Canonicalize trait solver response inside probeMichael Goulet-24/+25
2023-01-18Correct typoAlbert Larsan-1/+1
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-24/+24
2023-01-18add commentlcnr-0/+1
2023-01-18add note about indirect cycleslcnr-0/+4
2023-01-18update project to emulate a projection cachelcnr-14/+124
2023-01-18add `eq` to `InferCtxtExt`lcnr-38/+49
2023-01-18remove assembly context and impl a bit morelcnr-163/+311
2023-01-18instantiate canonical vars eagerlylcnr-485/+509
2023-01-18update cachelcnr-112/+89
2023-01-17Rollup merge of #106970 - kylematsuda:earlybinder-item-bounds, r=lcnrMatthias Krüger-6/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 23:38:38 +0000