From 9ca63451227c879c573c280e582ca51af034be9d Mon Sep 17 00:00:00 2001 From: Clay Sweetser Date: Fri, 26 Aug 2022 16:30:14 -0400 Subject: [PATCH] Update manual.md (#20277) --- doc/manual.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/manual.md b/doc/manual.md index b4d06cf391..73408bd79c 100644 --- a/doc/manual.md +++ b/doc/manual.md @@ -2396,9 +2396,8 @@ If `A` is a subtype of `B` and `A` and `B` are `object` types then: - `ref A` is a subtype of `ref B` - `ptr A` is a subtype of `ptr B`. -**Note**: In later versions of the language the subtype relation might -be changed to *require* the pointer indirection in order to prevent -"object slicing". +**Note**: One of the above pointer-indirections is required for assignment from +a subtype to its parent type to prevent "object slicing". Convertible relation