On Fri, 22 Nov 2019, Markus Elfring wrote:

> > T *ptr for example.
>
> 1. Does this information for a “type constraint” distract from my questions?
>
> 2. Can the data type become restricted not only by the detail
>    that it refers to a pointer?

You can put any type, such as int x;.  You can also put parts of types
such as expression * x; or struct x;

>
> 3. Why should such a SmPL specification matter for the handling of
> expressions?

Only expressions have types.

julia