Rename StructDatum -> AdtDatum

This commit is contained in:
Ryo Yoshida 2022-08-23 21:56:56 +09:00 committed by Lukas Wirth
parent a52acccc58
commit 4940017716
5 changed files with 17 additions and 17 deletions

View file

@ -3798,9 +3798,9 @@ impl Type {
// For non-phantom_data adts we check variants/fields as well as generic parameters
TyKind::Adt(adt_id, substitution)
if !db.struct_datum(krate, *adt_id).flags.phantom_data =>
if !db.adt_datum(krate, *adt_id).flags.phantom_data =>
{
let adt_datum = &db.struct_datum(krate, *adt_id);
let adt_datum = &db.adt_datum(krate, *adt_id);
let adt_datum_bound =
adt_datum.binders.clone().substitute(Interner, substitution);
adt_datum_bound