Skip to content

Commit a8de9a1

Browse files
nikomatsakismark-i-m
authored andcommitted
fix indentation
1 parent 364f0e4 commit a8de9a1

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/borrow_check/region_inference/placeholders_and_universes.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -271,9 +271,9 @@ The region inference engine will create a region element domain like this:
271271

272272
```text
273273
{ CFG; end('static); placeholder(1) }
274-
--- ------------ ------- from the universe `!1`
275-
| 'static is always in scope
276-
all points in the CFG; not especially relevant here
274+
--- ------------ ------- from the universe `!1`
275+
| 'static is always in scope
276+
all points in the CFG; not especially relevant here
277277
```
278278

279279
It will always create two universal variables, one representing

0 commit comments

Comments
 (0)