Update docs

Author: lucic71

docs/src/rules/ir.md

@@ -32,9 +32,10 @@ strings.
 ### Parameter packs
 
 A function parameter pack prints as `&&...`, so the key of a rule for
-`emplace_back(Args &&...args)` matches calls with any number of arguments. A rule
-that takes an [`init`](./writing-rules.md#constructing-from-forwarded-arguments)
-value also records which template argument of the callee `init` builds:
+`emplace_back(Args &&...args)` matches calls with any number of arguments. A
+rule that takes an
+[`init`](./writing-rules.md#constructing-from-forwarded-arguments) value also
+records which template argument of the callee `init` builds:
 
 ```json
 "f112": {

docs/src/rules/writing-rules.md

@@ -311,13 +311,13 @@ unsafe fn f112<T1>(a0: &mut Vec<T1>, init: T1) {
 }
 ```
 
-`T` must be one of the callee's template arguments. The preprocessor records
-its position as a (depth, index) pair, and at a call like `v.emplace_back(4, 5)`
-on a `std::vector<Point>` the converter reads the template argument at that
-position from the resolved callee (`Point`). It then asks Sema which
-constructor builds a `Point` from `(4, 5)` and substitutes the converted
-construction for `init`. Binding `init` to a local before touching `a0` keeps
-the construction from overlapping a borrow of the container.
+`T` must be one of the callee's template arguments. The preprocessor records its
+position as a (depth, index) pair, and at a call like `v.emplace_back(4, 5)` on
+a `std::vector<Point>` the converter reads the template argument at that
+position from the resolved callee (`Point`). It then asks Sema which constructor
+builds a `Point` from `(4, 5)` and substitutes the converted construction for
+`init`. Binding `init` to a local before touching `a0` keeps the construction
+from overlapping a borrow of the container.
 
 ## Passthrough rules