Function concrete_panic_destruct_trait 

pub fn concrete_panic_destruct_trait<'db>(
    db: &'db dyn Database,
    ty: TypeId<'db>,
) -> ConcreteTraitId<'db>