pub const adt_significant_drop_tys: &str = "adt_significant_drop_tys";