"User defined generic does not accept provided constraints" error when 'Type' is used in hint about enforce HOT 4 OPEN

Note that this can be even reduced down to

@runtime_validation
def foo(self, arg: Type[T]) -> T:
    return arg()

Apparently that's the Type[T] that causes the problem, because changing it to T makes it work.

from enforce.

Is this happening in the dev branch as well? It might be related to the fact that Type construct is not properly supported yet. However, I will have a look into it later this week.

from enforce.

If it is actually a problem with Type only, can you rename the issue to reflect it? Thanks.

from enforce.

Please note that in early versions of typing.py module the Type symbol does not exist. Could you please make sure that it is not imported by enforce ? Otherwise new versions would break on our production environment (python 3.5.1, with no possibility to update the typing module using pip).

In all of my code to cope with this restriction I always quote Type when used in type hints, and add the following import:

try:
    from typing import Type
except ImportError:
    # normal for old versions of typing
    pass

Of course in your case you do want to reason about a type hint being the Type symbol, so I suggest the following import trick:

```python
try:
    from typing import Type
except ImportError:
    # normal for old versions of typing
    class Type:
        pass

I guess that should do the trick.

from enforce.