Function check_type_defn 

pub(crate) fn check_type_defn<'tcx>(
    tcx: TyCtxt<'tcx>,
    item: LocalDefId,
    all_sized: bool,
) -> Result<(), ErrorGuaranteed>

In a type definition, we check that to ensure that the types of the fields are well-formed.