Exceptions and linear types are difficult to combine. Implicit destruction is fine though, provided destruction can't fail.