Searched refs:expected_type (Results 1 – 1 of 1) sorted by relevance
1309 let expected_type = self.func.dfg.compute_result_type(inst, i, ctrl_type); in typecheck_results() localVariable1310 if let Some(expected_type) = expected_type { in typecheck_results()1311 if result_type != expected_type { in typecheck_results()1352 ResolvedConstraint::Bound(expected_type) => { in typecheck_fixed_args()1353 if arg_type != expected_type { in typecheck_fixed_args()1603 for expected_type in iter { in typecheck_variable_args_iterator()1611 if expected_type != arg_type { in typecheck_variable_args_iterator()1617 i, variable_args[i], arg_type, expected_type in typecheck_variable_args_iterator()1713 for (i, (actual_type, &expected_type)) in actual_types.zip(expected_types).enumerate() { in typecheck_return_types()1714 if actual_type != expected_type.value_type { in typecheck_return_types()