Add a size to the [ptr] type.

Merged Rodolphe Lepigre requested to merge ci/ptr_type into master

Merge request reports