Remove old ref.foo noise.
This commit is contained in:
parent
5589ab16e0
commit
a5e1848906
@ -1778,7 +1778,7 @@ returns, then the expression completes.
|
|||||||
|
|
||||||
A call expression statically requires that the precondition declared in the
|
A call expression statically requires that the precondition declared in the
|
||||||
callee's signature is satisfied by the expression prestate. In this way,
|
callee's signature is satisfied by the expression prestate. In this way,
|
||||||
typestates propagate through function boundaries. See [Ref.Typestate](#ref.typestate).
|
typestates propagate through function boundaries.
|
||||||
|
|
||||||
An example of a call expression:
|
An example of a call expression:
|
||||||
|
|
||||||
@ -2569,8 +2569,7 @@ Unsafe pointers (`*`)
|
|||||||
|
|
||||||
The function type-constructor `fn` forms new function types. A function type
|
The function type-constructor `fn` forms new function types. A function type
|
||||||
consists of a sequence of input slots, an optional set of [input
|
consists of a sequence of input slots, an optional set of [input
|
||||||
constraints](#input-constraints) and an output slot. See
|
constraints](#input-constraints) and an output slot.
|
||||||
[Ref.Item.Fn](#ref.item.fn).
|
|
||||||
|
|
||||||
An example of a `fn` type:
|
An example of a `fn` type:
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user