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 @@
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 @@
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