unused_element lint treat super.key differently

[xvrh]

When I write a Widget in Flutter, recommended practice is to add key parameter.
IDE template is generating code like this:

class _MyPrivateWidget extends StatelessWidget {
  const _MyPrivateWidget({Key? key}) : super(key: key);

  @override
  Widget build(BuildContext context) {
    return Container();
  }
}

This code doesn't produce any lint.

Now I update my code/templates to conform to use_super_parameters feature:

class _MyPrivateWidget extends StatelessWidget {
  const _MyPrivateWidget({super.key});

  @override
  Widget build(BuildContext context) {
    return Container();
  }
}

Now, the linter reports an unused_element lint (because my widget is private):
info: A value for optional parameter 'key' isn't ever given. (unused_element at [x] example.dart:74)

It seems the linter treat the old and new super differently to determine if a parameter is used or not.

[xvrh]

I close this issue as it was already raised here: #49025