N.B. this has to be different from hir::PrimTy because it also includes types that aren’t paths, like Unit.
hir::PrimTy
Unit