As the next-line comment says: // FIXME (#7049): Figure out some other way to do this.