From c9f49c65811fcc52f45b96233f18000763f2984a Mon Sep 17 00:00:00 2001 From: Bastian Kauschke Date: Thu, 4 Jun 2020 14:34:11 +0200 Subject: [PATCH] words --- .../region_inference/placeholders_and_universes.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/src/borrow_check/region_inference/placeholders_and_universes.md b/src/borrow_check/region_inference/placeholders_and_universes.md index eda8e6ff..169f1b48 100644 --- a/src/borrow_check/region_inference/placeholders_and_universes.md +++ b/src/borrow_check/region_inference/placeholders_and_universes.md @@ -61,10 +61,9 @@ we swap the left and right here): ``` According to the basic subtyping rules for a reference, this will be -true if `'!1: 'static`. That is – if "some unknown region `!1`" lives -outlives `'static`. Now, this *might* be true – after all, `'!1` -could be `'static` – but we don't *know* that it's true. So this -should yield up an error (eventually). +true if `'!1: 'static`. That is – if "some unknown region `!1`" outlives `'static`. +Now, this *might* be true – after all, `'!1` could be `'static` – +but we don't *know* that it's true. So this should yield up an error (eventually). ## What is a universe?