Implement static checking for model_validate in pydantic

### Describe the Bug

We can consider implementing static typechecking for model_validate, which is a function in pydantic that validates models at runtime.

We should think about the level of strictness we want to implement here, considering there will be cases where runtime coercion is used.

```
"""
Nested structures with business rules.
- Inventory items must have quantity >= 1.
- Intentional error: one item has negative quantity.
Expected: ValidationError pointing to items[1].quantity.
"""
from pydantic import BaseModel, ValidationError, Field

class Item(BaseModel):
sku: str
quantity: int = Field(ge=1)

class Inventory(BaseModel):
items: list[Item]

bad = {
"items": [
{"sku": "A-100", "quantity": 5},
{"sku": "B-200", "quantity": -3}, # <-- invalid!!!! we can raise a type error here
]
}

try:
Inventory.model_validate(bad)
except ValidationError as e:
print("ValidationError for nested list rules:")
print(e)
```

### Sandbox Link

_No response_

### (Only applicable for extension issues) IDE Information

_No response_