By the sound of it, unsafe properties should have ...
# language-proposals
n
By the sound of it, unsafe properties should have the type T?