fn has_destructive_entrypoint<'hir>( hir: &'hir Hir<'hir>, contract: &Contract<'hir>, runtime_entries: &[FunctionId], ) -> bool