This shouldn't be a warn but a hard failure (assertion?). It means stuff in the compiler itself is inconsistent. Consider removing the sets from definitions and check for all cases in here directly.