Spike to show compiler errors across annotated types.