pub const adt_sized_constraint: &str = "adt_sized_constraint";