fn error(&self, loc: &Loc, msg: &str) {
        if self.translating_fun_as_spec_fun {
            *self.errors_generated.borrow_mut() = true;
        } else {
            self.parent.parent.error(loc, msg);
        }
    }
/// Shortcut for reporting an error.
Shortcut for reporting an error.
Shortcut for reporting an error .
fn error(&self, loc: &Loc, msg: &str) {
        if self.translating_fun_as_spec_fun {
            *self.errors_generated.borrow_mut() = true;
        } else {
            self.parent.parent.error(loc, msg);
        }
    }
fn error ( & self , loc : & Loc , msg : & str ) { if self . translating_fun_as_spec_fun { * self . errors_generated . borrow_mut ( ) = true ; } else { self . parent . parent . error ( loc , msg ) ; } }
Shortcut for reporting an error.
Shortcut for reporting an error .
&self
loc
&Loc
msg
&str
&self
loc
&Loc
msg
&str