about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/generics.rs
AgeCommit message (Expand)AuthorLines
2025-09-01Remove dead code stemming from an old effects desugaringLeón Orell Valerian Liehr-1/+1
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-03-26Remove `kw::Empty` uses from `rustc_middle`.Nicholas Nethercote-3/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-11-11Simplify some places that deal with generic parameter defaultsLeón Orell Valerian Liehr-2/+2
2024-10-26Effects cleanupDeadbeef-1/+0
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+70
2024-10-24Remove associated type based effects logicMichael Goulet-16/+3
2024-10-23More compare_impl_item simplificationsMichael Goulet-1/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-16Don't ICE when RPITIT captures more method args than trait definitionMichael Goulet-3/+5
2024-08-24Fix `elided_named_lifetimes` in codePavel Grigorenko-1/+1
2024-08-06Stop unnecessarily taking GenericPredicates by &selfMichael Goulet-6/+6
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+2
2024-07-07iter_identity is a better nameMichael Goulet-1/+1
2024-06-28implement new effects desugaringDeadbeef-1/+2
2024-06-18Uplift the new trait solverMichael Goulet-0/+4
2024-06-05Basic removal of `Ty` from places (boring)Boxy-10/+2
2024-05-27Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726Guillaume Gomez-1/+1
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-1/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-1/+1
2024-05-25Auto merge of #124187 - compiler-errors:self-ctor, r=petrochenkovbors-28/+0
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-1/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-0/+8
2024-05-18(Mostly) revert "Account for type param from other item in `note_and_explain`"Michael Goulet-28/+0
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-0/+6
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-12/+12
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-4/+4
2024-04-08Actually create ranged int types in the type system.Oli Scherer-3/+3
2024-02-28Avoid code duplicationVeera-10/+7
2024-02-28Improve error messages for generics with default parametersVeera-0/+27
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2023-12-19rename to verbose-internalsjyn-2/+2
2023-12-10clean up leftover FIXMEDeadbeef-2/+4
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-8/+4
2023-12-10filter out trailing effect param in `own_args_no_defaults`Deadbeef-0/+2
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-4/+8
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-14finish `RegionKind` renamelcnr-5/+5
2023-10-27Account for type param from other item in `note_and_explain`Esteban Küber-0/+28
2023-10-15Duplicate `~const` bounds with a non-const one in effects desugaringDeadbeef-0/+4
2023-09-14treat host effect params as erased generics in codegenDeadbeef-2/+4
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-3/+3
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-22/+22
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+2
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+3
2023-07-04include `host_effect_index` in `Generics`Deadbeef-0/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-27 09:43:53 +0000