summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
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-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
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+6
2024-06-27Make queries more explicitMichael Goulet-1/+1
2024-06-25Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errorsbors-4/+4
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-19Allow constraining opaque types during auto trait castingOli Scherer-1/+1
2024-06-19Allow constraining opaque types during unsizingOli Scherer-3/+3
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-41/+2
2024-06-14Only compute vtable information during codegenMichael Goulet-41/+2
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-6/+6
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-3/+0
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 06:31:03 +0000