167 pub type VerifierStepResult = Result<(), ()>;  typedef
205     pub fn as_result(&self) -> VerifierStepResult {  in as_result()  argument
215     pub fn fatal(&mut self, error: impl Into<VerifierError>) -> VerifierStepResult {  in fatal()  argument
221     pub fn nonfatal(&mut self, error: impl Into<VerifierError>) -> VerifierStepResult {  in nonfatal()  argument
283 ) -> VerifierStepResult {  in verify_context()  argument
330     fn verify_global_values(&self, errors: &mut VerifierErrors) -> VerifierStepResult {  in verify_global_values()  argument
415     fn encodable_as_bb(&self, block: Block, errors: &mut VerifierErrors) -> VerifierStepResult {  in encodable_as_bb()  argument
427     ) -> VerifierStepResult {  in block_integrity()  argument
470     fn instruction_integrity(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in instruction_integrity()  argument
502     ) -> VerifierStepResult {  in verify_entity_references()  argument
730     ) -> VerifierStepResult {  in verify_block()  argument
747     ) -> VerifierStepResult {  in verify_sig_ref()  argument
764     ) -> VerifierStepResult {  in verify_func_ref()  argument
781     ) -> VerifierStepResult {  in verify_stack_slot()  argument
794     ) -> VerifierStepResult {  in verify_dynamic_stack_slot()  argument
811     ) -> VerifierStepResult {  in verify_global_value()  argument
828     ) -> VerifierStepResult {  in verify_value_list()  argument
845     ) -> VerifierStepResult {  in verify_jump_table()  argument
866     ) -> VerifierStepResult {  in verify_exception_table()  argument
895     ) -> VerifierStepResult {  in verify_exception_compatible_abi()  argument
917     ) -> VerifierStepResult {  in verify_callee_patchability()  argument
954     ) -> VerifierStepResult {  in verify_value()  argument
972     ) -> VerifierStepResult {  in verify_inst_arg()  argument
1063     ) -> VerifierStepResult {  in verify_inst_result()  argument
1097     ) -> VerifierStepResult {  in verify_bitcast()  argument
1135     ) -> VerifierStepResult {  in verify_constant_size()  argument
1159     ) -> VerifierStepResult {  in verify_is_address()  argument
1183     ) -> VerifierStepResult {  in domtree_integrity()  argument
1222     fn typecheck_entry_block_params(&self, errors: &mut VerifierErrors) -> VerifierStepResult {  in typecheck_entry_block_params()  argument
1255     fn check_entry_not_cold(&self, errors: &mut VerifierErrors) -> VerifierStepResult {  in check_entry_not_cold()  argument
1265     fn typecheck(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in typecheck()  argument
1305     ) -> VerifierStepResult {  in typecheck_results()  argument
1346     ) -> VerifierStepResult {  in typecheck_fixed_args()  argument
1385     ) -> VerifierStepResult {  in typecheck_variable_args()  argument
1478     ) -> VerifierStepResult {  in typecheck_block_call()  argument
1600     ) -> VerifierStepResult {  in typecheck_variable_args_iterator()  argument
1638     fn typecheck_return(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in typecheck_return()  argument
1680     ) -> VerifierStepResult {  in typecheck_tail_call()  argument
1708     ) -> VerifierStepResult {  in typecheck_return_types()  argument
1730     fn typecheck_special(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in typecheck_special()  argument
1755     ) -> VerifierStepResult {  in cfg_integrity()  argument
1820     fn immediate_constraints(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in immediate_constraints()  argument
1886     fn iconst_bounds(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in iconst_bounds()  argument
1919     fn typecheck_function_signature(&self, errors: &mut VerifierErrors) -> VerifierStepResult {  in typecheck_function_signature()  argument
1981     ) -> VerifierStepResult {  in verify_try_call_handler_index()  argument
2023     pub fn debug_tags(&self, inst: Inst, errors: &mut VerifierErrors) -> VerifierStepResult {  in debug_tags()  argument
2043     ) -> VerifierStepResult {  in verify_signature()  argument
2058     fn verify_signatures(&self, errors: &mut VerifierErrors) -> VerifierStepResult {  in verify_signatures()  argument
2081     pub fn run(&self, errors: &mut VerifierErrors) -> VerifierStepResult {  in run()  argument