summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-1/+2
2025-02-08Rustfmtbjorn3-3/+5
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-2/+2
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+3
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-0/+12
2024-12-27Fix typoschloefeal-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+10
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17consistently handle global where-boundslcnr-305/+241
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-12-04Make sure to record deps from cached task in new solver on first runMichael Goulet-4/+1
2024-12-02Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwUbors-6/+11
2024-11-29check local cache even if global is usablelcnr-6/+11
2024-11-28support revealing defined opaque post borrowcklcnr-1/+6
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-23global old solver cache: use `TypingEnv`lcnr-20/+41
2024-11-23no more Reveal :(lcnr-6/+6
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-4/+0
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-10/+11
2024-11-06Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnrbors-6/+18
2024-11-05Only disable cache if predicate has opaques within itMichael Goulet-6/+18
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-5/+7
2024-11-04Remove the trivial constkind importsMichael Goulet-3/+3
2024-10-29TypingMode :thinking:lcnr-62/+31
2024-10-28Hack out effects support for old solverMichael Goulet-6/+14
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+7
2024-10-24Remove associated type based effects logicMichael Goulet-2/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-13/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-10/+10
2024-09-28Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnrMatthias Krüger-20/+73
2024-09-27Get rid of a_is_expected from ToTraceMichael Goulet-3/+0
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-20/+76
2024-09-26Check allow instantiating object trait binder when upcasting and in new solverMichael Goulet-3/+3
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-13/+11
2024-09-11Simplify some nested if statementsMichael Goulet-21/+17
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-1/+1
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-1/+1
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-3/+3
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-3/+3
2024-08-06Cache supertrait outlives of impl header for soundness checkMichael Goulet-26/+16
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-0/+1
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-2/+32
2024-07-29Reformat `use` declarations.Nicholas Nethercote-40/+28
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-2/+15
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-7/+11
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 16:33:53 +0000