On 02.03.21 21:46, Atila Neves wrote: > Pointer types *can* be unsafe, if the values came from @system code. Pointer *values* can be unsafe, if they come from @system code. A type that can have unsafe values is an unsafe type (so defined in the DIP). So pointer types are unsafe types.