[WITS'24] Solving constraints during type inference | ACM SIGPLAN | Podwise