about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/util.rs
AgeCommit message (Expand)AuthorLines
2025-08-17Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation.Zachary S-3/+5
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-2/+2
2025-07-20Consider param-env for fast pathMichael Goulet-1/+19
2025-07-17Auto merge of #144044 - fmease:rollup-kg413pt, r=fmeasebors-0/+7
2025-07-16trait_sel: `MetaSized` always holds temporarilyDavid Wood-0/+7
2025-07-15Implement other logicstiif-0/+1
2025-07-02Consider polarity in sizedness fast pathMichael Goulet-3/+4
2025-06-16trait_sel: skip elaboration of sizedness supertraitDavid Wood-1/+40
2025-06-16trait_sel: extend fast path with sized hierarchyDavid Wood-7/+11
2025-06-13Uplift BoundVarReplacerMichael Goulet-146/+1
2025-06-13Don't use BTreeMap for mapped_constsMichael Goulet-6/+6
2025-04-09re-use sized fast pathDavid Wood-0/+19
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-3/+3
2025-02-12Use the right binder for rebinding PolyTraitRefMichael Goulet-2/+2
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-1/+1
2025-01-15Rework trait expansion to happen once explicitlyMichael Goulet-143/+66
2024-11-22Simplify fulfill_implicationMichael Goulet-33/+2
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-10/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-10/+6
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-12/+12
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-7/+7
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+6
2024-06-27Make queries more explicitMichael Goulet-1/+1
2024-06-21Rename a bunch of thingsMichael Goulet-3/+3
2024-06-14Only compute vtable information during codegenMichael Goulet-17/+0
2024-06-12Stop passing traitref/traitpredicate by refMichael Goulet-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-01Auto merge of #125775 - compiler-errors:uplift-closure-args, r=lcnrbors-4/+4
2024-06-01Uplift TypeRelation and RelateMichael Goulet-4/+4
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-38/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-3/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-1/+1
2024-04-03Uplift and start using check_args_compatible more liberallyMichael Goulet-40/+0
2024-04-03Stop chopping off args for no reasonMichael Goulet-2/+0
2024-03-29Rollup merge of #123188 - klensy:clippy-me2, r=NilstriebMatthias Krüger-1/+1
2024-03-28fix few moreklensy-1/+1
2024-03-27Remove `Partial/Ord` from `BoundRegion`Oli Scherer-5/+6
2024-03-27Remove `Ord` from `BoundTy`Oli Scherer-6/+6
2024-03-07Don't require specifying unrelated assoc types when trait alias is in dyn typeMichael Goulet-1/+1
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-20Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav...bors-2/+2
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-19split `project` into multiple fileslcnr-1/+337
2024-02-12Dejargnonize substShoyu Vanilla-1/+1
2024-01-08Add helper for when we want to know if an item has a host paramMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-29 04:36:28 +0000