about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2025-10-03Don't normalize higher-ranked assumptions if they're not usedMichael Goulet-13/+18
2025-09-17Remove `DynKind`León Orell Valerian Liehr-8/+6
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-5/+20
2025-07-08Instantiate binder for Copy/Clone/Sized eagerlyMichael Goulet-10/+16
2025-07-08Instantiate auto trait before computing higher-ranked constituent typesMichael Goulet-0/+1
2025-07-07remove `has_nested`lcnr-41/+38
2025-07-03Remove PointerLike traitMichael Goulet-78/+1
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-17/+16
2025-06-16trait_sel: skip elaboration of sizedness supertraitDavid Wood-3/+13
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `?Sized` typesDavid Wood-4/+12
2025-06-16trait_sel: `{Meta,Pointee}Sized` on `Sized` typesDavid Wood-0/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-24 12:46:37 +0000