Bonus track: fix traits getOverloads+getProtection ICE