`super()` object should not allow attribute assignment

[grievejia]

Describe the Bug

Minimal repro:

class A:
    a: int = 3

class B(A): pass
super(B, B()).a = 3

Expected: Cannot assign to attribute a on type <super: <class 'B'>, B> Actual: No error

Sandbox Link

https://pyrefly.org/sandbox/?code=MYGwhgzhAECCBcAoaLpntAlgOwC7QF5oBmRRUSGAIQApYBKDAB0sQgFcmBTAJxqoA00WvXoA6MIRJA

(Only applicable for extension issues) IDE Information

No response

[yangdanny97]

For comparison, mypy gives "invalid assignment target", and after lifting super(B, B()) into a variable it gives "super has no attribute a"

pyright is OK with that snippet

[yangdanny97]

We probably want to make check_attr_set_and_infer_narrow and check_attr_delete fail for AttributeBase::SuperInstance. Should be a relatively small change.

Integration tests should be added in pyrefly/lib/test

[regexyl]

Interested in working on this!

[yangdanny97]

Assigned, thanks!