about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-03-29Rollup merge of #109718 - scottmcm:indexvec-last, r=NilstriebDylan DPC-1/+1
2023-03-29Rollup merge of #109683 - compiler-errors:self-ty-overflow, r=lcnrDylan DPC-18/+53
2023-03-29Rename `IndexVec::last` → `last_index`Scott McMurray-1/+1
2023-03-29Rollup merge of #109705 - lcnr:coherence-caching, r=compiler-errorsMatthias Krüger-5/+22
2023-03-29Inline and remove `SelectionContext::fast_reject_trait_refs`.Nicholas Nethercote-18/+4
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-13/+12
2023-03-28check for intercrate mode when accessing the cachelcnr-5/+22
2023-03-28Check for overflow in assemble_candidates_after_normalizing_self_tyMichael Goulet-18/+53
2023-03-28Auto merge of #109692 - Nilstrieb:rollup-hq65rps, r=Nilstriebbors-85/+93
2023-03-28Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnrbors-15/+190
2023-03-28Rollup merge of #109629 - aliemjay:remove-givens, r=lcnrnils-7/+7
2023-03-28Rollup merge of #102472 - lcnr:static-in-eval, r=jackh726nils-78/+86
2023-03-27Rollup merge of #109580 - compiler-errors:new-solver-fixmes, r=lcnrMatthias Krüger-6/+0
2023-03-27Some tracing/instrument cleanupsOli Scherer-6/+3
2023-03-27Add a builtin `FnPtr` traitlcnr-9/+187
2023-03-27Rollup merge of #109641 - compiler-errors:dont-elaborate-non-obl, r=oli-obkMatthias Krüger-39/+34
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-39/+34
2023-03-26resolve regions before implied boundsAli MJ Al-Nasrawy-5/+7
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-2/+0
2023-03-25Still-further-specializable projections are ambiguousMichael Goulet-1/+1
2023-03-25Remove some stale FIXMEs in new solverMichael Goulet-6/+0
2023-03-24Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnrMatthias Krüger-0/+28
2023-03-24Auto merge of #109547 - matthiaskrgr:rollup-zczqgdk, r=matthiaskrgrbors-48/+56
2023-03-24Rollup merge of #109493 - compiler-errors:new-solver-vars-obligations, r=lcnrMatthias Krüger-46/+44
2023-03-24Rollup merge of #108961 - compiler-errors:refine-ct-errors, r=BoxyUwUMatthias Krüger-2/+12
2023-03-23Auto merge of #109202 - compiler-errors:new-solver-fast-reject-faster-2, r=lcnrbors-19/+9
2023-03-23Use fulfillment in InferCtxt::evaluate_obligationMichael Goulet-30/+15
2023-03-23Note type mismatch on ConstArgHasTypeMichael Goulet-2/+12
2023-03-23Return nested obligations from canonical response var unificationMichael Goulet-25/+38
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-19/+9
2023-03-23Rollup merge of #109472 - MU001999:patch-3, r=eholkMatthias Krüger-7/+25
2023-03-23Auto merge of #109517 - matthiaskrgr:rollup-m3orqzd, r=matthiaskrgrbors-61/+121
2023-03-23Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnrMatthias Krüger-61/+121
2023-03-23Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors-49/+123
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-67/+69
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-23/+27
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-26/+80
2023-03-23Use span_look_ahead instead of next_pointMu42-6/+3
2023-03-22Rollup merge of #109447 - lcnr:coherence, r=compiler-errorsMatthias Krüger-49/+123
2023-03-22Implement non-const Destruct trait in new solverMichael Goulet-0/+28
2023-03-22reviewlcnr-2/+1
2023-03-22stop special-casing `'static` in evaluatelcnr-78/+86
2023-03-22`HirId` to `LocalDefId` cleanuplcnr-5/+4
2023-03-22Fixes #109436: add parentheses properlyMu42-7/+28
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-222/+89
2023-03-21Rollup merge of #109446 - spastorino:new-rpitit-17, r=compiler-errorsMatthias Krüger-0/+1
2023-03-21Rollup merge of #109441 - oli-obk:fn_trait_new_solver, r=compiler-errorsMatthias Krüger-26/+32
2023-03-21Rollup merge of #109336 - compiler-errors:constrain-to-ct-err, r=BoxyUwUMatthias Krüger-1/+5
2023-03-21Do not suggest bounds restrictions for synthesized RPITITsSantiago Pastorino-0/+1
2023-03-21disable global caching during coherencelcnr-1/+2