#3705 not reported on @stable