From 3c17036782395893fdc639185da1783065ec4571 Mon Sep 17 00:00:00 2001 From: Arhan Chaudhary Date: Wed, 30 Jul 2025 02:36:52 -0700 Subject: [PATCH] review comment: dropck analysis is *not* trivial --- src/dropck.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dropck.md b/src/dropck.md index 4063d561..473a1a85 100644 --- a/src/dropck.md +++ b/src/dropck.md @@ -213,7 +213,7 @@ strictly outlive that value. The precise rules that govern drop checking may be less restrictive in the future. -The current analysis is deliberately conservative and trivial; it forces all +The current analysis is deliberately conservative; it forces all borrowed data in a value to outlive that value, which is certainly sound. Future versions of the language may make the analysis more precise, to