Barry's questions

Eu estava olhando a saída de #[derive(Debug)]um caso simples usando cargo expand, onde isto:

#[derive(Debug)]
struct Point {
    x: i32,
    y: i32,
}

emitido (os comentários adicionados são meus):

#[automatically_derived]
impl ::core::fmt::Debug for Point {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field2_finish(
            f,
            "Point",
            "x",
            &self.x,   // <== &
            "y",
            &&self.y,  // <== &&
        )
    }
}

Note que é &self.xmas &&self.y. Tentei com algumas outras situações e o último campo sempre parece obter um extra &. O valor parece que leva um &dyn Debug, então estou supondo que isso apenas é desreferenciado automaticamente (em algum lugar) e não importa?

Por que o extra &?

Este programa:

class Array:
    def __init__(self, underlying):
        self.underlying = underlying

    def __class_getitem__(cls, key):
        return Array(key)

    def __getitem__(self, key):
        pass

    def __str__(self):
        return f"Array({self.underlying=})"

def foo(name, kind):
    pass

foo(name="x", kind=Array["int"])

é sinalizado por mypy:

x.py:17: error: The type "Type[Array]" is not generic and not indexable  [misc]

Isso __getitem__é algo que adicionei apenas para ver se resolveria o problema (não resolveu). Não pretendo usar Arrayaqui como um tipo (no typingsentido), apenas para uma sintaxe fofa passar um tipo de array em outro lugar.

O que significa esse mypyerro e como posso corrigi-lo (de preferência com algo diferente de # ignorecomentários)?