rdb c6ed4e1836 general: don't cast to regular pointer when returning a PointerTo ... This is inefficient because it induces an unnecessary ref()/unref() pair when we just need to move the pointer out of the function. Thanks to 23128e4695, we can now move between related pointer types, making the .p() hack unnecessary.		2018-07-08 21:40:58 +02:00
..
src	general: don't cast to regular pointer when returning a PointerTo	2018-07-08 21:40:58 +02:00