pub fn concrete_drop_trait(
    db: &dyn SemanticGroup,
    ty: TypeId
) -> ConcreteTraitId