Fix pathological performance in trait solver | Hacker News Reader