Declaring field types as sub-classes of base types gets highlighted in

Hi, thanks for the great plugin!

Describe the bug

When using sub-classed Constrained* fields, Expected type '...', got '...' instead. error is shown.

See this example (using StrictStr which is inherited from ConstrainedStr):

It reproduces even when subclassing from base types, ie. str:

import pydantic

class MyStr(str):
    pass

class MyModel(pydantic.BaseModel):
    field: MyStr

MyModel(field='')

To Reproduce

Above.

Expected behavior

There’s shouldn’t be error.

Screenshots

Uh, above.

Environments (please complete the following information):

• IDE: PyCharm Professional 2021.1
• OS: Kubuntu 20.04 LTS
• Pydantic Version: 1.8.2
• Plugin version: 0.3.3

[koxudaxi]

Considering that pydantic already maps the constrained types as base types when running type checking, simply doing the same with your plugin might be a viable option.

Some users may want to check strict types strictly. 🤔 This option will cover all case.

[tool.pydantic-pycharm-plugin]
constrained-type = "strict"  # or "lenient"

This plugin already has supported Annotated 😉

[tuukkamustonen]

Some users may want to check strict types strictly.

Yeah, that’s true and why not. It just gets tricky quickly and simply staying on top of base types is something that should work sufficiently without extra magic 🌟

So, I think constrained-type = "lenient" mode should be a good workaround/escape mechanism when all else fails 😄

This plugin already has supported Annotated

That’s great. What I mean is that with Annotated we don’t need this constrained-type = "lenient" logic at all, because with Annotated you always use the base type as the first argument, like:

class Model(BaseModel):
    field: Annotated[str, Field(min_length=1)]

Constrained* classes and con*() methods are not supported with Annotated, so there are no sub-types to worry about. But that also means that strict types are not supported now with Annotated 😢 (as there’s no Field(strict=...)) so it’s sensible to support also non-Annotated declarations, like you’re about to do here.