Skip to content

Latest commit

 

History

History
11 lines (6 loc) · 735 Bytes

i.8.7.2-assignment-compatibility-for-location-types.md

File metadata and controls

11 lines (6 loc) · 735 Bytes

I.8.7.2 Assignment compatibility for location types

In this section the compatible-with relation is extended to deal with managed pointer types.

A location type T is compatible-with a location type U if and only if one of the following holds.

  1. T and U are not managed pointer types and T is compatible-with U according to the definition in §I.8.7.1.

  2. T and U are both managed pointer types and T is pointer-element-compatible-with U.

A managed pointer type T is pointer-element-compatible-with a managed pointer type U if and only if T has verification type V and U has verification type W and V is identical to W.