Fix #381559, test-638.cs, test-639.cs