Change context class to attached class inside define_method

[DarkDimius]

This should typecheck

https://sorbet.run/#class%20A%0A%20%20def%20self.my_dsl%0A%20%20%20%20define_method(%3Amagic_method)%20do%0A%20%20%20%20%20%20foo%0A%20%20%20%20end%0A%20%20end%0A%0A%20%20def%20foo%0A%20%20%20%20%3Afoo%0A%20%20end%0Aend%0A%0Aclass%20B%20%3C%20A%0A%20%20my_dsl%0Aend

Originally reported by @pt-stripe at https://jira.corp.stripe.com/browse/RUBYPLAT-1142

[palkan]

A simpler example not involving DSLs: https://sorbet.run/#class%20A%0A%20%20def%20x%0A%20%20%20%20%22y%22%0A%20%20end%0A%0A%20%20define_method(%3Axx)%20do%0A%20%20%20%20x%20*%202%0A%20%20end%0Aend%0A

[ric2b]

@jez I'd like to help with this but I assume it involves a fair bit of knowledge of C++, no?

[thomasdziedzic-census]

A simpler example not involving DSLs: https://sorbet.run/#class%20A%0A%20%20def%20x%0A%20%20%20%20%22y%22%0A%20%20end%0A%0A%20%20define_method(%3Axx)%20do%0A%20%20%20%20x%20*%202%0A%20%20end%0Aend%0A

I just added T.bind(self, A) for this and it fixed the type error: https://sorbet.run/#class%20A%0A%20%20def%20x%0A%20%20%20%20%22y%22%0A%20%20end%0A%0A%20%20define_method%28%3Axx%29%20do%0A%20%20%20%20T.bind%28self%2C%20A%29%0A%20%20%20%20x%20*%202%0A%20%20end%0Aend%0A