pub(crate) fn adt_dtorck_constraint() -> DepKindStruct