[PEP 695] Inherit variance if base class has explicit variance

[PEP 695] Inherit variance if base class has explicit variance #13194