This must be under `-Xlint:no-missing-interpolator`.