Merge #39

39: Migrate from core-intrinsics to core::ptr r=mkroening a=mkroening

bors r+

Co-authored-by: Martin Kröning <mkroening@posteo.net>
3 jobs for master in 2 minutes and 51 seconds (queued for 14 seconds)
Status Name Job ID Coverage
  Prepare
passed prepare:docker #1972181
docker

00:00:07

 
  Build
passed build:loader #1972182

00:02:33

 
  Deploy
passed deploy:loader #1972183
docker

00:00:10