Constant extension type as default value doesn't propagate to subclasses

[Zekfad]

Following code produces error, but should not:

extension type const Ext(int _) {}

class A {
  A({
    this.normal = 0,
    this.ext = const Ext(0),
  });
  final int normal;
  final Ext ext;
}

class B extends A {
  B({
    super.normal, // ok
    super.ext, // error
    // The parameter 'ext' can't have a value of 'null' because of its type, but the implicit default value is 'null'.
    // Try adding either an explicit non-'null' default value or the 'required' 
  });
}

[lrhn]

Ooooh, good catch!

[scheglov]

https://dart-review.googlesource.com/c/sdk/+/350160