Transformer throws on admitSubtypeCapability about reflectable.dart

[eernstg]

Thanks for spotting this! It is a bug when you get the 'Unexpected situation' exception (a fix will be included in the next commit), but it will not help you much: admitSubtypeCapability has not yet been implemented, and you would just get an UnimplementedError exception instead.

There is a rather detailed discussion about this capability in the design document https://github.com/dart-lang/reflectable/blob/master/reflectable/doc/TheDesignOfReflectableCapabilities.md which illustrates why the whole concept is questionable (and hence it might be dropped). However, if it would be very helpful for you then please make the case for it, and then we can keep your arguments in mind because they are on the issue list.

PS: That would then be a new issue, because this one gets closed when the bug fix is available.

[sigurdm]

I think @lassedamgaard mentions superclassQuantifyCapability, not admitSubtypeCapability.
@lassedamgaard: Are you sure this is the only capability spec in your program? - the error message suggest you are using admitSubtypeCapability, and that is still unimplemented.

[lassedamgaard]

Sorry guys, wrong copy-pasta, the capability spec was supposed to say admitSubtypeCapability. I've corrected it.
Anyway, I don't have a need for this capability at the moment, just spotted this trying some things out and thought it should have a better error message. In general if there are going to be capabilities that aren't supported by the transformer I think they should be checked early and generate a descriptive error message instead of throwing.

[eernstg]

The error message for admitSubtypeCapability was plain wrong (a certain test for whether we encountered such a capability was wrong, so we missed that case and continued to the final catch-all case that we should never reach -- hence the "Unexpected situation"). It is fixed in the next upcoming commit.

With respect to the diagnostic message: There is already issue #39 requesting a similar thing, namely that errors should be reported but then caught, such that the transformer can continue transforming the remaining entry points rather than stopping entirely.

[eernstg]

Addressed by commit 5a835be on https://github.com/dart-lang/reflectable/commits/master.