Added @implicitNotFound annotations.