Merge pull request #19343 from flodiebold/push-tmumzoxxmxsr

Make GenericParamsCollector::type_or_consts not unnecessarily pub(crate)
This commit is contained in:
Florian Diebold 2025-03-11 14:26:24 +00:00 committed by GitHub
commit 8d01570b5e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 15 additions and 10 deletions

View file

@ -10,6 +10,7 @@ use hir_expand::{
name::{AsName, Name},
ExpandResult,
};
use intern::sym;
use la_arena::{Arena, RawIdx};
use stdx::{
impl_from,
@ -446,12 +447,23 @@ impl GenericParams {
#[derive(Clone, Default)]
pub(crate) struct GenericParamsCollector {
pub(crate) type_or_consts: Arena<TypeOrConstParamData>,
type_or_consts: Arena<TypeOrConstParamData>,
lifetimes: Arena<LifetimeParamData>,
where_predicates: Vec<WherePredicate>,
}
impl GenericParamsCollector {
pub(crate) fn fill_self_param(&mut self) {
self.type_or_consts.alloc(
TypeParamData {
name: Some(Name::new_symbol_root(sym::Self_.clone())),
default: None,
provenance: TypeParamProvenance::TraitSelf,
}
.into(),
);
}
pub(crate) fn fill(
&mut self,
lower_ctx: &mut LowerCtx<'_>,

View file

@ -21,7 +21,7 @@ use triomphe::Arc;
use crate::{
db::DefDatabase,
generics::{GenericParams, GenericParamsCollector, TypeParamData, TypeParamProvenance},
generics::{GenericParams, GenericParamsCollector},
item_tree::{
AssocItem, AttrOwner, Const, Either, Enum, ExternBlock, ExternCrate, Field, FieldParent,
FieldsShape, FileItemTreeId, FnFlags, Function, GenericArgs, GenericItemSourceMapBuilder,
@ -881,14 +881,7 @@ impl<'a> Ctx<'a> {
if let HasImplicitSelf::Yes(bounds) = has_implicit_self {
// Traits and trait aliases get the Self type as an implicit first type parameter.
generics.type_or_consts.alloc(
TypeParamData {
name: Some(Name::new_symbol_root(sym::Self_.clone())),
default: None,
provenance: TypeParamProvenance::TraitSelf,
}
.into(),
);
generics.fill_self_param();
// add super traits as bounds on Self
// i.e., `trait Foo: Bar` is equivalent to `trait Foo where Self: Bar`
let bound_target = Either::Left(body_ctx.alloc_type_ref_desugared(TypeRef::Path(