Closed WeiqunZhang closed 4 months ago
Close #3937
I can reproduce the error in #3937 and this PR fixes it.
Close #3937