feat: Improve type validation for bare types

[mdrazak2001]

Related Issues

• fixes Improve type validation to handle bare typing objects #8874

Proposed Changes:

• Treat bare types (e.g., List, Dict) as generic types with Any arguments during type compatibility checks.

How did you test it?

• added unit tests

Notes for the reviewer

Checklist

• I have read the contributors guidelines and the code of conduct
• I have updated the related issue with new insights and changes
• I added unit tests and updated the docstrings
• I've used one of the conventional commit types for my PR title: fix:, feat:, build:, chore:, ci:, docs:, style:, refactor:, perf:, test: and added ! in case the PR includes breaking changes.
• I documented my code
• I ran pre-commit hooks and fixed any issue

[coveralls]

Pull Request Test Coverage Report for Build 13782703256

Warning: This coverage report may be inaccurate.

This pull request's base commit is no longer the HEAD commit of its target branch. This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

• For more information on this, see Tracking coverage changes with pull request builds.
• To avoid this issue with future PRs, see these Recommended CI Configurations.
• For a quick fix, rebase this PR at GitHub. Your next report should be accurate.

Details

• 0 of 0 changed or added relevant lines in 0 files are covered.
• 25 unchanged lines in 3 files lost coverage.
• Overall coverage decreased (-0.02%) to 89.94%

---

Files with Coverage Reduction	New Missed Lines	%
core/type_utils.py	1	95.83%
utils/type_serialization.py	10	86.08%
document_stores/in_memory/document_store.py	14	95.6%

Totals
Change from base Build 13702551434:	-0.02%
Covered Lines:	9691
Relevant Lines:	10775

---

💛 - Coveralls

[sjrl]

@mdrazak2001 thanks for your work on this! Could we also expand the test suite a bit to include

Nested checks:

@pytest.mark.parametrize(
    "sender_type,receiver_type",
    [
        # Nested Lists
        pytest.param(List[List[int]], List[List], id="nested-list-to-partially-bare-list"),
        pytest.param(List[List[int]], List, id="nested-list-to-bare-list"),
        # Nested Dicts
        pytest.param(Dict[str, Dict[str, int]], Dict[str, Dict], id="nested-dict-to-partially-bare-dict"),
        pytest.param(Dict[str, Dict[str, int]], Dict, id="nested-dict-to-bare-dict"),
        # Nested Sets
        pytest.param(Set[Set[int]], Set[Set], id="nested-set-to-partially-bare-set"),
        pytest.param(Set[Set[int]], Set, id="nested-set-to-bare-set"),
        # Nested Tuples
        pytest.param(Tuple[Tuple[int, str], bool], Tuple[Tuple, bool], id="nested-tuple-to-partially-bare-tuple"),
        pytest.param(Tuple[Tuple[int, str], bool], Tuple, id="nested-tuple-to-bare-tuple"),
        # Mixed nesting
        pytest.param(List[Dict[str, int]], List[Dict], id="list-of-dict-to-list-of-bare-dict"),
        pytest.param(Dict[str, List[int]], Dict[str, List], id="dict-with-list-to-dict-with-bare-list"),
        pytest.param(Set[Tuple[int, str]], Set[Tuple], id="set-of-tuple-to-set-of-bare-tuple"),
        pytest.param(Tuple[List[int], Dict[str, bool]], Tuple[List, Dict], id="tuple-of-containers-to-tuple-of-bare-containers"),
        # Triple nesting
        pytest.param(List[List[List[int]]], List[List[List]], id="triple-nested-list-to-partially-bare"),
        pytest.param(List[List[List[int]]], List[List], id="triple-nested-list-to-double-bare"),
        pytest.param(List[List[List[int]]], List, id="triple-nested-list-to-completely-bare"),
    ],
)
def test_nested_container_compatibility(sender_type, receiver_type):
    assert _types_are_compatible(sender_type, receiver_type)
    # Bare container types should not be compatible with their typed counterparts
    assert not _types_are_compatible(receiver_type, sender_type)

[mdrazak2001]

@sjrl: I merged the following if conditional block into the final return statement because the function had too many returns, which was causing it to fail to commit.

if len(sender_args) > len(receiver_args):
        return False

[sjrl]

Thanks for your work on this, but for now let's not worry about the callable compatibility and do this in a separate PR so we can focus on just the other bare types. Could you open a new issue/PR with these changes?

[mdrazak2001]

Certainly, @sjrl , I will include callable compatibility in a separate PR. However, I noticed a minor limitation in the current implementation for bare types: even Callable bare types require special handling via _check_callable_compatibility due to their unique structure. For example, the test case pytest.param(Callable[[Any], Any], Callable) fails with the current implementation (without _check_callable_compatibility).

Would it be acceptable to exclude Callable bare types from this PR and instead address all cases involving them in the separate PR?

[sjrl]

Thanks!

Would it be acceptable to exclude Callable bare types from this PR and instead address all cases involving them in the separate PR?

Yes that sounds good to me.

[sjrl]

This one needs to be put into a separate test for now we expect it to not work.

[sjrl]

Thanks for the work on this!