annotations on `self` are not understood with `Protocol`s

Bug Report

When interpreting a given type as a given Protocol, annotations on self in the Protocol are apparently ignored.

To Reproduce

mypy-play.net

from __future__ import annotations

from typing import *



                          #━━━━━━━━━━━━━━━━━#
                          #  EXISTING CODE  #
                          #━━━━━━━━━━━━━━━━━#


class ConcreteClass:

    # here 'transform()' is used, but we might use '__neg__()' or
    # '__invert__()' in a similar way (so many built-in/third-party
    # classes would qualify as 'TransformAware')

    def transform(self) -> int:
        return id(self)



                           #━━━━━━━━━━━━━━━━#
                           #  LIBRARY CODE  #
                           #━━━━━━━━━━━━━━━━#

# this can be changed


Ico = TypeVar('Ico', covariant=True)        # input, covariant
Oco = TypeVar('Oco', covariant=True)        # output, covariant


class TransformAware(Protocol[Ico, Oco]):

    def transform(self: Ico) -> Oco: ...



                      #━━━━━━━━━━━━━━━━━━━━━━━━━#
                      #  DEMONSTRATE PROBLEMS:  #
                      #━━━━━━━━━━━━━━━━━━━━━━━━━#


I = TypeVar('I')                            # input
O = TypeVar('O')                            # output


def interpret_transform_aware(_: Type[TransformAware[I, O]]) -> Tuple[I, O]:
    i: I
    o: O
    return i, o


reveal_type(interpret_transform_aware(ConcreteClass))
        # actual output:
        #   note: Revealed type is "Tuple[<nothing>, builtins.int]"
        # expected output:
        #   note: Revealed type is "Tuple[ConcreteClass, int]"



                           #───────────────#
                           #  MOTIVATION:  #
                           #───────────────#


class TransformDriver(Generic[I, O]):

    def __init__(self, klass: Type[TransformAware[I, O]]): ...

    def transform_value(self, value: I) -> O:
        use_value = cast(TransformAware[I, O], value)
        return use_value.transform()

Expected Behavior

(See: inline comments.)

Interpreting ConcreteClass as TransformAware should correctly infer both type variables.

Actual Behavior

(See: inline comments.)

Mypy gives the type of Ico as <nothing>.

Your Environment

• Mypy version used: 1.6.1
• Mypy command-line flags: (none necessary)
• Mypy configuration options from mypy.ini (and other config files): (none necessary)
• Python version used: 3.8, 3.11

Inizia con il riproduttore di mypy-play.net e il codice di gestione di Protocol; il payload non indica alcun file del repository né alcun test. Traccia come vengono usate le annotazioni su self nell’interpretazione di ConcreteClass come TransformAware, quindi aggiungi copertura che mostri che entrambe le variabili di tipo vengono inferite come ConcreteClass e int.