1 2 3 4 5 6 7 8 9
use crate::records::type_error::TypeError; use crate::records::unifier::Unifier; impl Unifier { pub fn report_error_type_error(&mut self, err: TypeError) { self.errors.push(err); self.failure = true; } }