Merge pull request #45 from pc2/44-objects-that-panic-on-non-empty-dr…

…op-should-check-if-the-thread-isnt-panicing-already

Removed double panics from drop

src/errors.rs

@@ -1,6 +1,7 @@
 use crate::prelude::*;
 
 use std::cell::RefCell;
+use std::thread::panicking;
 
 use crate::{alloc::ArenaAllocator, typing::template::TemplateInput};
 
@@ -184,7 +185,7 @@ impl<'linker> ErrorCollector<'linker> {
 
 impl<'l> Drop for ErrorCollector<'l> {
     fn drop(&mut self) {
-        if !self.error_store.borrow().is_untouched() {
+        if !self.error_store.borrow().is_untouched() && !panicking() {
             panic!("ErrorCollector should have been emptied!");
         }
     }

src/typing/delayed_constraint.rs

@@ -1,3 +1,5 @@
+use std::thread::panicking;
+
 
 
 #[derive(Debug, Clone, Copy, PartialEq, Eq)]
@@ -58,6 +60,8 @@ impl<T> DelayedConstraintsList<T> {
 
 impl<T> Drop for DelayedConstraintsList<T> {
     fn drop(&mut self) {
-        assert_eq!(self.0.len(), 0, "DelayedConstraintsList was not resolved.");
+        if !panicking() {
+            assert_eq!(self.0.len(), 0, "DelayedConstraintsList was not resolved.");
+        }
     }
 }

src/typing/type_inference.rs

@@ -4,6 +4,7 @@ use std::cell::{OnceCell, RefCell};
 use std::fmt::Debug;
 use std::marker::PhantomData;
 use std::ops::{Deref, DerefMut, Index};
+use std::thread::panicking;
 
 use crate::block_vector::{BlockVec, BlockVecIter};
 use crate::errors::ErrorInfo;
@@ -166,7 +167,9 @@ impl<MyType : HindleyMilner<VariableIDMarker>+Clone, VariableIDMarker : UUIDMark
 
 impl<MyType: HindleyMilner<VariableIDMarker>, VariableIDMarker: UUIDMarker> Drop for TypeSubstitutor<MyType, VariableIDMarker> {
     fn drop(&mut self) {
-        assert!(self.failed_unifications.borrow().is_empty(), "Errors were not extracted before dropping!");
+        if !panicking() {
+            assert!(self.failed_unifications.borrow().is_empty(), "Errors were not extracted before dropping!");
+        }
     }
 }