Fix pathological performance in trait solver

2 points | by Jyaif 13 hours ago