diff --git a/docs/draft.html b/docs/draft.html index 650970e..10cdc7d 100644 --- a/docs/draft.html +++ b/docs/draft.html @@ -802,7 +802,7 @@

[raii] object model.

Borrow checking is an advanced form of live analysis. It keeps track of the live references at every point in the function, and @@ -4754,7 +4754,7 @@

-print-mir-drop cmdline options, which print the MIR before and after drop elaboration, respectively.

-

Once there is a MIR representation with adequete coverage, begin work +

Once there is a MIR representation with adequate coverage, begin work on the MIR analysis. Borrow checking is a very intricate algorithm, but fortunately it’s easy to interrogate. Print the MIR and the lifetime and outlives constraints as you lower and check functions to know where