(
&self,
inst: Inst,
s: SigRef,
errors: &mut VerifierErrors,
)
| 777 | } |
| 778 | |
| 779 | fn verify_sig_ref( |
| 780 | &self, |
| 781 | inst: Inst, |
| 782 | s: SigRef, |
| 783 | errors: &mut VerifierErrors, |
| 784 | ) -> VerifierStepResult { |
| 785 | if !self.func.dfg.signatures.is_valid(s) { |
| 786 | errors.fatal(( |
| 787 | inst, |
| 788 | self.context(inst), |
| 789 | format!("invalid signature reference {s}"), |
| 790 | )) |
| 791 | } else { |
| 792 | Ok(()) |
| 793 | } |
| 794 | } |
| 795 | |
| 796 | fn verify_func_ref( |
| 797 | &self, |
no test coverage detected