Skip to content

Auto merge of #129047 - DianQK:early_otherwise_branch_scalar, r=cjgillot #50760

Auto merge of #129047 - DianQK:early_otherwise_branch_scalar, r=cjgillot

Auto merge of #129047 - DianQK:early_otherwise_branch_scalar, r=cjgillot #50760

This job succeeded