From 2826a66fb528554e885c08ac6929de396c621ece Mon Sep 17 00:00:00 2001 From: bersbersbers <12128514+bersbersbers@users.noreply.github.com> Date: Wed, 6 Nov 2024 14:14:15 +0100 Subject: [PATCH 1/2] Fix typo --- docs/draft.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/draft.html b/docs/draft.html index 650970e..1616e61 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 From da428dad4b9eacf2d8d71f3bb83f127cca8c6f0f Mon Sep 17 00:00:00 2001 From: bersbersbers <12128514+bersbersbers@users.noreply.github.com> Date: Wed, 6 Nov 2024 14:29:45 +0100 Subject: [PATCH 2/2] Fix typo --- docs/draft.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/draft.html b/docs/draft.html index 1616e61..10cdc7d 100644 --- a/docs/draft.html +++ b/docs/draft.html @@ -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