Function check_well_formed

pub(crate) fn check_well_formed<'tcx>() -> DepKindStruct<'tcx>