pub(crate) fn adt_sized_constraint() -> DepKindStruct