According to what @amenonsen suggested in #10064. Although the additional statement is still needed to get rid of the ambiguity.