pub fn check_impl_item_well_formed() -> DepKindStruct