about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-58/+21
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-25/+12
2025-02-24trait_sel: resolve vars in host effectsDavid Wood-0/+2
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-10/+6
2025-02-22Fix binding mode problemsMichael Goulet-2/+2
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-25/+5
2025-02-17Clean up dropck code a bitMatthew Jasper-35/+21
2025-02-17Report dropck normalization errors in borrowckMatthew Jasper-9/+42
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-8/+7
2025-02-15Ignore Self in bounds check for associated types with Self:SizedMichael Goulet-0/+3
2025-02-13Rollup merge of #136951 - compiler-errors:clause-binder, r=lqdJubilee-2/+2
2025-02-13Use BikeshedGuaranteedNotDrop in unsafe binder type WF tooMichael Goulet-1/+4
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-1/+143
2025-02-12Use the right binder for rebinding PolyTraitRefMichael Goulet-2/+2
2025-02-12Rollup merge of #136838 - compiler-errors:escaping-unsize, r=fmeaseGuillaume Gomez-2/+3
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-3/+55
2025-02-11Rollup merge of #136584 - oli-obk:pattern-types-generic, r=BoxyUwUMatthias Krüger-2/+42
2025-02-10Check whole Unsize predicate for escaping bound varsMichael Goulet-2/+3
2025-02-08Rustfmtbjorn3-119/+157
2025-02-06stabilize `feature(trait_upcasting)`Waffle Lapkin-62/+1
2025-02-06Rollup merge of #136311 - compiler-errors:vtable-fixes-2, r=lcnrMatthias Krüger-5/+21
2025-02-06Prevent generic pattern types from being used in libstdOli Scherer-2/+42
2025-02-04Remove unnecessary layout assertions for object-safe receiversMichael Goulet-105/+2
2025-02-02Rollup merge of #136279 - Zalathar:ensure-ok, r=oli-obkMatthias Krüger-3/+3
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-2/+19
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-3/+3
2025-02-01Rollup merge of #135900 - compiler-errors:derive-wf, r=lcnrMatthias Krüger-12/+11
2025-01-31Ensure that we never try to monomorphize the upcasting of impossible dyn typesMichael Goulet-5/+21
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-6/+10
2025-01-31Move fulfillment error derivation into new moduleMichael Goulet-6/+1
2025-01-31Enforce unsafe binders must be Copy (for now)Michael Goulet-2/+19
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-4/+4
2025-01-31Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnrbors-112/+63
2025-01-30More assertions, tests, and miri coverageMichael Goulet-34/+23
2025-01-30introduce `ty::Value`Lukas Markeffsky-3/+3
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-21/+12
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-73/+59
2025-01-30Rework rustc_dump_vtableMichael Goulet-16/+1
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-69/+28
2025-01-29Rollup merge of #136205 - compiler-errors:len-3, r=BoxyUwUMatthias Krüger-1/+1
2025-01-29Auto merge of #136225 - fmease:rollup-fm7m744, r=fmeasebors-2/+2
2025-01-29Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ...León Orell Valerian Liehr-2/+2
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-14/+10
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-2/+2
2025-01-28Move outlives env computation into methodsMichael Goulet-19/+6
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-61/+33
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-1/+1
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-4/+4
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-15/+26
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-14/+10