Elektrine lite

← Feed

@fasterthanlime@hachyderm.io

2026-03-08 12:59 UTC

@chosunone@pleroma.chosunone.io So you want mutability of fields to be controlled at declaration site and not binding site. What's the... Can you give me a for instance?

Replies (1)

  • @fasterthanlime@hachyderm.io When I borrow `self` mutably, it ends up locking down the entire self from immutable borrows, but really I just want certain fields to be locked down. Some fields will never be mutably borrowed and so I should allow immutable borrows to self that only access those fields. Basically in the direction of field projection.

    Open ##587112