pub const adt_sized_constraint: &str = _;