See also #6326 and https://github.com/golang/go/issues/18130#issuecomment-282803521 . In the same vein, decide if `type P = unsafe.Pointer` should be allowed.