/* ERRORS: it makes no sense to have an optional raw pointer (raw pointers can have the none value already) */
int*>? bad1;
int+*>? bad2;