about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2025-03-09Rollup merge of #138040 - thaliaarchi:use-prelude-size-of.compiler, r=compile...Matthias Krüger-1/+1
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-25/+5
2025-03-09Do not register `Self: AutoTrait` when confirming auto traitMichael Goulet-15/+1
2025-03-07compiler: Use size_of from the prelude instead of importedThalia Archibald-1/+1
2025-03-06Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obkMichael Goulet-1/+3
2025-03-06Remove the `Option` part of range ends in the HIROli Scherer-1/+1
2025-03-06Avoid having to handle an `Option` in the type systemOli Scherer-6/+2
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-40/+2
2025-03-05Rollup merge of #137633 - compiler-errors:no-implied-bounds-hack-unless-bevy,...许杰友 Jieyou Xu (Joe)-158/+58
2025-03-04Only use implied bounds hack if bevy, and use deeply normalize in implied bou...Michael Goulet-158/+58
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-1/+7
2025-03-03Improve error message for AsyncFn trait failure for RPITMichael Goulet-1/+3
2025-03-01Rollup merge of #137822 - BoxyUwU:query_normalizer_docs, r=compiler-errorsMatthias Krüger-12/+9
2025-03-01Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errorsMatthias Krüger-1/+1
2025-03-01Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrennMatthias Krüger-9/+4
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-58/+21
2025-02-28Update query normalizer docsBoxy-12/+9
2025-02-28reviewlcnr-3/+9
2025-02-28Remove `allow(unused_variables)` for `rustc_transmute`.Nicholas Nethercote-8/+3
2025-02-28Remove `rustc_transmute`'s dependence on `rustc_infer`.Nicholas Nethercote-1/+1
2025-02-27Delete tuple unsizingAlice Ryhl-40/+2
2025-02-26Remove `ParamEnv::without_caller_bounds`Boxy-1/+1
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