when<TResult extends Object?>  method 
- @optionalTypeArgs
 
- TResult $default(
- String $type,
 - NotificationDeclarationAllowSubscriptions allowSubscriptions,
 - Map<
String, dynamic> ? $unknown 
 
A switch-like method, using callbacks.
As opposed to map, this offers destructuring.
It is equivalent to doing:
switch (sealedClass) {
  case Subclass(:final field):
    return ...;
  case Subclass2(:final field2):
    return ...;
}
Implementation
@optionalTypeArgs TResult when<TResult extends Object?>(TResult Function( String $type, @NotificationDeclarationAllowSubscriptionsConverter()  NotificationDeclarationAllowSubscriptions allowSubscriptions,  Map<String, dynamic>? $unknown)  $default,) {final _that = this;
switch (_that) {
case _NotificationDeclarationRecord():
return $default(_that.$type,_that.allowSubscriptions,_that.$unknown);case _:
  throw StateError('Unexpected subclass');
}
}