pub fn adt_dtorck_constraint() -> DepKindStruct