class Ikra::TypeInference::Visitor::RestartTypeInferenceError

If this error is thrown, type inference should start from the beginning (with an empty symbol table).