summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2025-03-27Auto merge of #139012 - Zalathar:rollup-qgt5yfo, r=Zalatharbors-2/+4
2025-03-26Stop using Interner in the compiler randomlyMichael Goulet-2/+4
2025-03-24Instantiate binder before registering nested obligations for auto/built-in tr...Michael Goulet-32/+16
2025-03-18Remove existing AFIDT implementationMichael Goulet-6/+0
2025-03-16Suppress must_use in compiler and toolsMichael Goulet-1/+1
2025-03-13Auto merge of #138249 - compiler-errors:auto-self, r=lcnrbors-15/+1
2025-03-10Remove AdtFlags::IS_ANONYMOUS and Copy/Clone condition for anonymous ADTMichael Goulet-9/+0
2025-03-09Rollup merge of #136968 - oli-obk:bye-bye, r=compiler-errorsMatthias Krüger-11/+3
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)-36/+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-03-01Rollup merge of #137800 - BoxyUwU:param_env_docs, r=compiler-errorsMatthias Krüger-1/+1
2025-03-01Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrennMatthias Krüger-9/+4
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-58/+21
2025-02-28reviewlcnr-3/+9
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-36/+0
2025-02-26Remove `ParamEnv::without_caller_bounds`Boxy-1/+1
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-58/+21
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-7/+1
2025-02-20Turn order dependent trait objects future incompat warning into a hard errorOli Scherer-11/+3
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-1/+143
2025-02-10Check whole Unsize predicate for escaping bound varsMichael Goulet-2/+3
2025-02-08Rustfmtbjorn3-39/+54
2025-02-06stabilize `feature(trait_upcasting)`Waffle Lapkin-62/+1
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-4/+5
2025-01-18Get rid of `ToPolyTraitRef`Michael Goulet-5/+7
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-1/+13
2024-12-31Make sure we check the future type is Sized in AsyncFn*Michael Goulet-3/+20
2024-12-27Rollup merge of #134823 - chloefeal:fix, r=tgross35,dtolnayDavid Tolnay-1/+1
2024-12-27Fix typoschloefeal-1/+1
2024-12-26Make ty::Error implement auto traitsMichael Goulet-1/+3
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+17
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-12Rollup merge of #133122 - compiler-errors:afidt, r=oli-obkMatthias Krüger-0/+79
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
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-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-2/+0
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+9
2024-12-05Auto merge of #133893 - fmease:rollup-11pi6fg, r=fmeasebors-52/+2
2024-12-04No need to create placeholders for GAT args in confirm_object_candidateMichael Goulet-52/+2
2024-12-04Make sure to record deps from cached task in new solver on first runMichael Goulet-4/+1
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-1/+1