Function destructor 

pub fn destructor<'db>(
    db: &'db (dyn HirDatabase + 'static),
    adt: AdtId,
) -> &'db Option<ImplId>