constptr (cargo): NonNull without mutability
Keywords: const|nostd|pointer|nonnull