Function rustc_hir_analysis::check::wfcheck::check_type_defn

fn check_type_defn<'tcx>(tcx: TyCtxt<'tcx>, item: &Item<'tcx>, all_sized: bool)

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