Use equality when relating formal and expected type in arg checking#129317

Merged

bors merged 2 commits intorust-lang:masterfrom

compiler-errors:expectation-subtyping

Sep 2, 2024

Commits on Aug 31, 2024

Use equality when relating formal and expected type in arg checking
compiler-errors
committed
Inline expected_inputs_for_expected_output into check_argument_types/check_expr_struct_fields
compiler-errors
committed