pub fn adt_sized_constraint() -> DepKindStruct