workarounds -> traits. All ICE are now compiler errors.