Structs§
- Type
Mismatch - Unification
Trace - A trace of a unification error. The
failingfield indicates which exact type failed to unify, while theinsideis the “top level” type which failed to unify if it’s not the same as failing.
failing field indicates which exact type failed to unify,
while the inside is the “top level” type which failed to unify if it’s not the same as
failing.