pub const adt_sized_constraint: DepKind;