feat: new type solver #82

Annotations

1 error and 10 warnings

Process completed with exit code 2.

replace == with != in UnificationTable::unify

replace ThirGen<'ctx, 'hir>::add_trait_implementation with ()

replace <impl Deref for Thir<'_>>::deref -> &Self::Target with Box::leak(Box::new(Default::default()))

delete match arm Self::Boolean in Type<T>::cast_primitive

delete match arm Self::U8 in Type<T>::cast_primitive

delete match arm Self::I8 in Type<T>::cast_primitive

delete match arm Self::Never in Type<T>::cast_primitive

replace Type<T>::cast_primitive -> Option<Type<U>> with None

replace Type<T>::is_primitive -> bool with false

replace Type<T>::is_primitive -> bool with true