Minimal reproducer for order-dependent ty unsound-return-statement diagnostics

base.py

class Base:
    values = ["a"]


class Parent(Base):
    def __init__(self):
        if self.values:
            self.values = [*self.values]

    def get_values(self) -> list[str]:
        return self.values

child.py

from base import Parent


class Child(Parent):
    def __init__(self):
        self.values = self.values + ["b"]