pub const adt_drop_tys: &str = _;