Possible bug in diagnostics for mustBeConst

[bwilkerson]

I would expect the following code to be valid, but it generated a diagnostic claiming that the argument to g isn't a constant expression, even though it is a constant expression:

import 'package:meta/meta.dart';

void f() {
  g(const C());
}

void g(@mustBeConst C c) {}

class C {
  const C();
}

Is that behavior intentional? Is it intended that only uses of const variables is allowed?

[bwilkerson]

@mosuem

[mosuem]

I don't think that's intentional, let me check.