No need to define a new compilation error