Normalize both arguments of equate_normalized_input_or_output#90801
Merged
bors merged 2 commits intorust-lang:masterfrom b-naber:missing_normalization_equate_inputs_outputNov 16, 2021
+121-24
equate_normalized_input_or_output#90801