Update manual.md (#20277)

This commit is contained in:
Clay Sweetser
2022-08-26 16:30:14 -04:00
committed by GitHub
parent a52918a994
commit 9ca6345122

View File

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