8000 [Issue-1317][Mock solution] Enable validation between methods defined via inheritance and mixins by iking96 · Pull Request #8766 · sorbet/sorbet · GitHub

More Web Proxy on the site http://driver.im/

[Issue-1317][Mock solution] Enable validation between methods defined via inheritance and mixins#8766

Draft

iking96 wants to merge 11 commits intosorbet:masterfrom

iking96:iking96_issue_1317_mock

Commits on Apr 17, 2025

refactor: Update checkSubtype() to accept class/module over method
iking96
committed
feat: Add findUnownedConcreteAbstractMethodTransitives()
iking96
committed
refactor: Split validateOverriding() into validateOverridingForMethod() and validateOverridingForMethodInClass()
iking96
committed
feat: Run overrideValidations on unownedConcreteAbstractMethodTransitives
iking96
committed
feat: Pass error location to validateCompatibleOverride()
iking96
committed
feat: Pass receiverKlass to validateCompatibleOverride()
iking96
committed
feat: Exempt abstract methods implemented via mixin or inheritance from requirement to use 'override' tag
iking96
committed
feat: When evaluating the super class to find overriden methods handle the case where the initial super class method found has the overload name
iking96
committed
test: Fix issue with initialize_class_bound.rb test where inheritance was not considered when evaluating type compatibility of 'attached_class'
iking96
committed
test: Update 'impl_abstract_via_include' with new reasonable failue
iking96
committed
test: Add test showing sorbet error on class which inherits abstract method implementation which conflicts with types on initial definition
iking96
committed

0