class Ikra::TypeInference::Visitor::RestartTypeInferenceError
If this error is thrown, type inference should start from the beginning (with an empty symbol table).
If this error is thrown, type inference should start from the beginning (with an empty symbol table).