RFC: Auto-dereferencing non-raw pointers