about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2025-06-09transmutability: shift abstraction boundaryJack Wrenn-97/+46
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-13/+15
2025-05-21Auto merge of #140386 - oli-obk:match-on-lang-item-kind, r=compiler-errorsbors-10/+5
2025-05-01Set groundwork for proper const normalizationBoxy-1/+0
2025-04-30Use less rustc_type_ir in the compiler codebaseRomain Perier-2/+1
2025-04-29Also match on the lang item in confirmationOli Scherer-10/+5
2025-04-15Move `opt_rpitit_info` field to `hir::AssocKind::Type`.Nicholas Nethercote-3/+1
2025-04-08Rollup merge of #139541 - compiler-errors:transmute, r=lcnrMatthias Krüger-3/+3
2025-04-08Instantiate higher-ranked transmute goalMichael Goulet-3/+3
2025-04-05Fix trait upcasting to dyn type with no principal when there are projectionsMichael Goulet-14/+24
2025-03-31increment depth of nested obligationslcnr-10/+2
2025-03-31Rollup merge of #138176 - compiler-errors:rigid-sized-obl, r=lcnrMatthias Krüger-0/+5
2025-03-24Instantiate binder before registering nested obligations for auto/built-in tr...Michael Goulet-24/+13
2025-03-18Remove existing AFIDT implementationMichael Goulet-6/+0
2025-03-13Only prefer Sized candidates, and only if they certainly holdMichael Goulet-2/+2
2025-03-13Prefer built-in sized impls for rigid types alwaysMichael Goulet-0/+5
2025-03-09Do not register `Self: AutoTrait` when confirming auto traitMichael Goulet-15/+1
2025-03-06Rollup merge of #137910 - compiler-errors:async-fn-goal-error, r=oli-obkMichael Goulet-1/+3
2025-03-05Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk许杰友 Jieyou Xu (Joe)-29/+0
2025-03-04mgca: Lower all const paths as `ConstArgKind::Path`Noah Lev-1/+1
2025-03-03Improve error message for AsyncFn trait failure for RPITMichael Goulet-1/+3
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-29/+0
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+92
2025-02-08Rustfmtbjorn3-36/+49
2025-01-18Get rid of `ToPolyTraitRef`Michael Goulet-3/+4
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-1/+1
2024-12-31Make sure we check the future type is Sized in AsyncFn*Michael Goulet-3/+20
2024-12-10Don't check RPITITs that are Self:Sized for PointerLikeMichael Goulet-0/+5
2024-12-10Implement projection and shim for AFIDTMichael Goulet-0/+74
2024-12-04No need to create placeholders for GAT args in confirm_object_candidateMichael Goulet-52/+2
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-1/+1
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-1/+1
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-1/+1
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-11-02No need to instantiate binder in confirm_async_closure_candidateMichael Goulet-9/+3
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-183/+8
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-183/+8
2024-10-19Fix transmute goalMichael Goulet-5/+8
2024-10-17Allow dropping dyn principalMichael Goulet-0/+4
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-31/+34
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-5/+5
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-55/+37
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-7/+5
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-73/+103
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 02:15:09 +0000