fn check_type_defn<'tcx>( tcx: TyCtxt<'tcx>, item: &Item<'tcx>, all_sized: bool, ) -> Result<(), ErrorGuaranteed>
In a type definition, we check that to ensure that the types of the fields are well-formed.