Report "cannot unify" errors after finishing type inference for the enclosing definition; this avoids partially insantiated types in error messages.
Report "cannot unify" errors after finishing type inference for the enclosing definition; this avoids partially insantiated types in error messages.

aeternity/epoch,aeternity/epoch,aeternity/epoch,aeternity/epoch