Skip to content

Commit 1b3e1dd

Browse files
committed
mention that the lint name is not final yet
1 parent ec454f2 commit 1b3e1dd

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

text/0000-unsafe-block-in-unsafe-fn.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -154,6 +154,8 @@ I explained the rationale in the motivation section.
154154

155155
The alternative is to not do anything, and live with the current situation.
156156

157+
We could bikeshed the lint name.
158+
157159
We could introduce named proof obligations (proposed by @Centril) such that the
158160
compiler can be be told (to some extend) if the assumptions made by the `unsafe
159161
fn` are sufficient to discharge the requirements of the unsafe operations.

0 commit comments

Comments
 (0)