Maybe add an UNREACHABLE() here, just in case.