about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2023-04-03Never consider int and float vars for `FnPtr` candidatesNilstrieb-8/+14
2023-04-02Rollup merge of #109846 - matthiaskrgr:clippy2023_04_III, r=NilstriebNilstrieb-3/+1
2023-04-01use and_then/flat_map for map().flatten()Matthias Krüger-3/+1
2023-04-01a couple clippy::complexity fixesMatthias Krüger-3/+2
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-0/+1
2023-03-29Inline and remove `SelectionContext::fast_reject_trait_refs`.Nicholas Nethercote-18/+4
2023-03-29Introduce `DeepRejectCtxt::substs_refs_may_unify`.Nicholas Nethercote-4/+7
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-12/+162
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-27Some tracing/instrument cleanupsOli Scherer-6/+3
2023-03-27Add a builtin `FnPtr` traitlcnr-6/+159
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-38/+33
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-24Auto merge of #109547 - matthiaskrgr:rollup-zczqgdk, r=matthiaskrgrbors-24/+27
2023-03-24Rollup merge of #109493 - compiler-errors:new-solver-vars-obligations, r=lcnrMatthias Krüger-22/+15
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-1/+9
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-14/+19
2023-03-23Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnrMatthias Krüger-14/+19
2023-03-23Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgrbors-5/+11
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-14/+14
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-0/+5
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-5/+11
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-195/+81
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-20/+10
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-21enable `intercrate` in the solver `InferCtxt`lcnr-4/+10
2023-03-21new solver cleanup + coherencelcnr-1/+1
2023-03-21Deduplicate fn trait compatibility checksOli Scherer-20/+7
2023-03-21Only implement Fn* traits for extern "Rust" safe function pointers.Oli Scherer-0/+3
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-52/+19
2023-03-21remove some trait solver helperslcnr-143/+62
2023-03-20Enforce non-lifetime-binders in supertrait preds are not object safeMichael Goulet-1/+20
2023-03-19Delay overlap errors if errors are involvedMichael Goulet-1/+5
2023-03-17Fast path that skips over unchanged obligations in process_obligationsThe 8472-0/+23