Skip to content

Commit

Permalink
Merge pull request #78715 from eeckstein/fix-typos
Browse files Browse the repository at this point in the history
docs: fix two typos in SIL.md
  • Loading branch information
eeckstein authored Jan 20, 2025
2 parents eb6339d + 6907e26 commit d314541
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/SIL/SIL.md
Original file line number Diff line number Diff line change
Expand Up @@ -446,7 +446,7 @@ Lifetimes have following properties:

- Lifetimes of guaranteed values are called _borrow scopes_. A borrow scope
starts with a single definition - the borrow-introducer. There are only a few
different kind of borrow-introducers:
different kinds of borrow-introducers:
- guaranteed function argument: the lifetime spans over the whole function
and doesn't need a scope-ending use.
- `borrowed-from` instruction: it produces a borrow scope from a [reborrow
Expand Down Expand Up @@ -481,7 +481,7 @@ Lifetimes have following properties:
```
%1 = load [copy] %0 // producer
%2 = copy_value %1 // interior use of %1
%3 = move_value %1 // consuming use of %2
%3 = move_value %1 // consuming use of %1
%4 = copy_value %1 // ERROR: use of %1 outside %1's lifetime
```

Expand Down

0 comments on commit d314541

Please sign in to comment.