Is it possible to create a Pydantic field that does not have a default value and this value must be set on object instance creation and is immutable from then on?
e.g.
from pydantic import BaseModel
class User(BaseModel):
user_id: int
name: str
user = User(user_id=1, name='John')
user.user_id = 2 # raises immutable error