Create a challenge for PEP 698 `@override`

[laike9m]

PEP 698

[laike9m]

I find it hard to come up with a challenge for @override. We can have something like the following, but # expect-type-error always needs to resides with @override, and it's impossible to have @override in user code and # expect-type-error in test code.

"""
TODO:
Annotate the methods of class `Tiger`.
"""

class Animal:
    def eat(self, food):
        ...

from typing import override

class Tiger(Animal):
    @override
    def eat(self):  # expect-type-error
        ...

    @override
    def eat(self, food):
        ...

    @override
    def fly(self):  # expect-type-error
        ...