CopyWith on records

[Maksimka101]

Records are coming in the dart 3. They are pretty useful and the almost only drawback is the inability to copy them. I believe it's possible to implement as records can have extensions

So I imagine this api:

@copyWith
typedef User = ({
  String id,
  String name,
});

void main() {
  final User user1 = (id: 'id', name: 'name');
  final User user2 = user1.copyWith(id: 'id2');
}

[numen31337]

If I'm not mistaken, according to the feature specification a Record can't be extended as per:

The type Record refers to a built-in class defined in dart:core. It has no instance members except those inherited from Object and exposes no constructors. It can't be constructed, extended, mixed in, or implemented by user-defined classes.

It might be a useful feature, but apparently we can't implement it here. Please let me know if I'm missing something.

[Maksimka101]

As you can see, It is possible to create an extension on a record:

Sorry for screenshot

[Maksimka101]

Btw, I have an experience with code generation. So can't guarantee anything, but probably I can try to implement it if you are too busy

[numen31337]

I'm going to have a look at it. Not sure about the timing tho.