4 errors

Argument of type "Literal['numbers']" cannot be assigned to parameter "y" of type "int" in function "foo"   "Literal['numbers']" is not assignable to "int" (reportArgumentType)

Argument of type "Literal['not']" cannot be assigned to parameter "x" of type "int" in function "foo"   "Literal['not']" is not assignable to "int" (reportArgumentType)

Type "list[int | str]" is not assignable to declared type "list[int]"   "Literal['three']" is not assignable to "int" (reportAssignmentType)

Type "str" is not assignable to return type "int"   "str" is not assignable to "int" (reportReturnType)

Process completed with exit code 127.