copyWith method
A copy with the given properties replaced; everything else, unknown keys included, is kept.
Implementation
InitializedNotification copyWith({
NotificationParams? params,
}) =>
InitializedNotification.fromJson({
...toJson(),
if (params != null) 'params': $encode(params),
});