Remove last traces of adt from Ty
This commit is contained in:
parent
882fe0a47e
commit
936c6950e7
@ -1104,7 +1104,7 @@ pub fn into_ty(self) -> Ty {
|
||||
|
||||
pub fn as_adt(&self) -> Option<Adt> {
|
||||
let (adt, _subst) = self.ty.value.as_adt()?;
|
||||
Some(adt)
|
||||
Some(adt.into())
|
||||
}
|
||||
|
||||
fn derived(&self, ty: Ty) -> Type {
|
||||
|
@ -12,7 +12,7 @@
|
||||
db::HirDatabase,
|
||||
diagnostics::{MissingFields, MissingOkInTailExpr},
|
||||
ty::{ApplicationTy, InferenceResult, Ty, TypeCtor},
|
||||
Adt, Function, Name, Path,
|
||||
Function, Name, Path, Struct,
|
||||
};
|
||||
|
||||
pub use hir_def::{
|
||||
@ -69,7 +69,7 @@ fn validate_record_literal(
|
||||
}
|
||||
|
||||
let struct_def = match self.infer[id].as_adt() {
|
||||
Some((Adt::Struct(s), _)) => s,
|
||||
Some((AdtId::StructId(s), _)) => Struct::from(s),
|
||||
_ => return,
|
||||
};
|
||||
|
||||
|
@ -22,13 +22,14 @@
|
||||
expr::ExprId, generics::GenericParams, type_ref::Mutability, AdtId, ContainerId, DefWithBodyId,
|
||||
GenericDefId, HasModule, Lookup, TraitId, TypeAliasId,
|
||||
};
|
||||
use hir_expand::name::Name;
|
||||
use ra_db::{impl_intern_key, salsa};
|
||||
|
||||
use crate::{
|
||||
db::HirDatabase,
|
||||
ty::primitive::{FloatTy, IntTy, Uncertain},
|
||||
util::make_mut_slice,
|
||||
Adt, Crate, Name,
|
||||
Crate,
|
||||
};
|
||||
use display::{HirDisplay, HirFormatter};
|
||||
|
||||
@ -598,10 +599,10 @@ pub fn as_reference(&self) -> Option<(&Ty, Mutability)> {
|
||||
}
|
||||
}
|
||||
|
||||
pub fn as_adt(&self) -> Option<(Adt, &Substs)> {
|
||||
pub fn as_adt(&self) -> Option<(AdtId, &Substs)> {
|
||||
match self {
|
||||
Ty::Apply(ApplicationTy { ctor: TypeCtor::Adt(adt_def), parameters }) => {
|
||||
Some(((*adt_def).into(), parameters))
|
||||
Some((*adt_def, parameters))
|
||||
}
|
||||
_ => None,
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user