Missing attr base for self

[migeed-z]

Describe the Bug

PyTorch usecase:

ERROR TODO: Expr::attr_infer_for_type attribute base undefined for type: Self (trying to access name) [missing-attribute]
--> /data/users/migeedz/pytorch/torch/_inductor/pattern_matcher.py:523:59
|
523 | return super().pattern_eq(other) and self.name == other.name
|

Sandbox link shows minimal repro, which should not error.

Sandbox Link

https://pyrefly.org/sandbox/?code=GYJw9gtgBALgngBwJYDsDmUkQWEMoDKApgDbAA0UAxgIYDOMlAginJfXUXgPrwJEAoAVRIcoAYQBcAqLKhgArjARK6kqCSQMA2izgBdGXIAmRYFGAAKTmUpgYACy4BKaXPfzHXKAF5q9GEtiW08nEGdZIw8oDi4YXkQiS3swymDgZyiPWJ4+JJSuADpFZVVmVgiAYigAUXUAFQB5ABFG9RqADwQQSUkaGBgQblRgLm5gXAT+LPcSIhRrUmBipRUYOgifPzmFgpAV0vWq2oaWttqunr6BoZGxiaG8mJukACMlIihX+k+FFFNgKgiMYLLhYIl1OkoEA

(Only applicable for extension issues) IDE Information

No response

[migeed-z]

@stroxler also made further notes on the diff corresponding to the issue. This has to do with the wrong plumbing for the self type. We need additional context to be able to interpret self as a type, since right now it carries no context at all.

[yangdanny97]

Yeah, normally the special form gets substituted with Type::SelfType.