feat: new type solver #87

Annotations

1 error and 5 warnings

Process completed with exit code 2.

replace <impl PartialOrd for BindingId<B>>::partial_cmp -> Option<std::cmp::Ordering> with None

replace <impl Id for BindingId<B>>::into_id -> usize with 1

replace <impl Id for BindingId<B>>::into_id -> usize with 0

delete match arm ExpressionKind::Call(call) in InferenceCtx<'hir, 'ty>::check

delete match arm Solution::Unknown in InferenceCtx<'hir, 'ty>::process_obligations