Additional static type checks based on annotations