typeguard doesn't check types like "a | b"

[jingfeijia-tsy]

It seems typeguard doesn't support types like "a | b" that is introduced in PEP604.

To Reproduce

from typeguard import typechecked
from typing import Union

@typechecked
def f(x: int | float):
  print(x)

@typechecked
def g(x: Union[int, float]):
  print(x)

f("a")
g("a")

Expected behavior
Both should raise TypeError, but in reality f("a") just passed without raising an exception.

[antonagestam]

This should be pretty easy to fix, we just need to add handling for a new type when available. See equivalent fixes here:

• Support PEP 604 unions, types.UnionType konradhalas/dacite#184
• Support PEP 604 unions, types.UnionType ilevkivskyi/typing_inspect#83

I guess it would be rather fitting if I provided a fix for this here as well, we'll see if I find the time.

Cheers

[agronholm]

This is already done in master, but I haven't had any time to devote on the project lately, thus no new release :(

[agronholm]

This is included in v3.0.0b1.

[supersergiy]

Exciting to see typeguard being worked on again!