Add support for binary union types - Python 3.10

[cdce8p]

Description

Add basic inference support for runtime binary or unions added in Python 3.10.
Not completely sure this is 100% the right approach for it, but it works. We can always iterate on it later if we want / need to.

At runtime int | None is represented as an instance of types.UnionType.

Refs pylint-dev/pylint#8119

--
After this is merged, I think it would make sense to do a new release so we can include it in pylint 2.16.0.

[codecov]

Codecov Report

Merging #1977 (25d5a01) into main (e31c9c4) will increase coverage by 0.01%.
The diff coverage is 100.00%.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1977      +/-   ##
==========================================
+ Coverage   92.68%   92.70%   +0.01%     
==========================================
  Files          94       94              
  Lines       10891    10920      +29     
==========================================
+ Hits        10094    10123      +29     
  Misses        797      797              

Flag	Coverage Δ
linux	92.46% <100.00%> (+0.02%)	⬆️
pypy	88.43% <43.33%> (-0.13%)	⬇️
windows	92.38% <100.00%> (+0.02%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
astroid/bases.py	88.53% <100.00%> (+0.54%)	⬆️
astroid/inference.py	94.58% <100.00%> (+0.04%)	⬆️
astroid/raw_building.py	92.49% <100.00%> (+0.18%)	⬆️

[Pierre-Sassoulas]

I think this can go in 2.16.

[Pierre-Sassoulas]

But shouldn't it be in astroid 2.14 ?

[cdce8p]

But shouldn't it be in astroid 2.14 ?

It certainly could. Moved the changelog entry.
We would then only need to decide if we want to release 2.13.4 with the typing_extensions.TypeVar fix or just include it with 2.14.

[DanielNoord]

One minor nit. Rest LGTM!

[Pierre-Sassoulas]

We should probably cover callable, pytype, display_type, bool_value and __str__ if only to prevent regression later, right ?

[cdce8p]

We should probably cover callable, pytype, display_type, bool_value and __str__ if only to prevent regression later, right ?

Added some more asserts. Although it might be that we need to go back and change some of them later. I don't know every detail of how the new class will be used by astroid and pylint.

[cdce8p]

The isort issue will be fixed by #1989

[Pierre-Sassoulas]

👍

[cdce8p]

👍

@Pierre-Sassoulas Think you actually need to approve it since you requested changes earlier. Or I could just bypass the branch protection in this case 😄

[Pierre-Sassoulas]

My bad 😄