if you use private unnamed constructors in inherited classes you can't use super.parameter

[escamoteur]

I have to classes in the same library (part-part-of)

class UserProxyTiny with ChangeNotifier, ImagePrecacheable {
  UserProxyTiny._({
    required this.isCurrentUser,
    UserTinyDto? userDataTiny,
    String? username,
  })  : _userDataTiny = userDataTiny,
        _username = username {

and

class UserProxyMini extends UserProxyTiny {
  UserProxyMini._({
    UserMiniDto? userMiniDto,
    required super.isCurrentUser,
  }) : _userDataMini = userMiniDto;

but the analyser complains that I can't call super because UserProxyTiny doesn't have an unnamed constructor. But how do you make private unnamed constructor?

interestingly

class UserProxyMini extends UserProxyTiny {
  UserProxyMini._({
    /// this has to be nullable, otherwise the derived classes could not
    /// call the super constructor with null
    UserMiniDto? userMiniDto,
    required super.isCurrentUser,
  })  : _userDataMini = userMiniDto,
        super._();

is accepted which is not really intuitive because I mix super.parameter with :super()

Is that intentional?

[mraleph]

Is that intentional?

Yes.

It has nothing to do with super.parameter. That's simply how constructors work: you need to specify which super constructor you want to call if it is not the default (unnamed) one. You will get the same error simply by trying to write:

class A {
  A._();
}

class B extends A {
  B._(); 
}