Add missing notes on u8 literal natural type question.

This commit is contained in:
Fredric Silberberg 2022-02-01 16:57:08 -08:00
Родитель 1735b662b0
Коммит 1809e47d52
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: EEEEFE2293400B4A
1 изменённых файлов: 9 добавлений и 0 удалений

Просмотреть файл

@ -62,6 +62,15 @@ trees, and future modernization efforts will consider this case well.
Blocked.
#### Natural type of `u8` literals
Since this is a prototype, we think that the proposed `byte[]` is fine for now. We will likely want to have a deeper debate about whether string literals
should have a natural type of a mutable array, but we don't think that debate is necessary for now.
##### Conclusion
The natural type of `u8` literals will be `byte[]`, for the prototype.
#### Conversion depth
There is some interplay here with the standard conversion rules: if the conversion is a standard conversion, then any place that takes a `byte[]` as a