dart pub run has been deprecated for years in favor of dart run.

The two commands have subtle differences in their command resolution and how they chose whether to recompile or not.

So we could choose to either

• remove pub run
• strictly align the two

Both might have a migration cost so I think the best choice might be to just rip off the bandage and remove it. I think an actual alignment would be very hard, because dart run can do a lot more than pub run.

We would now no longer have a way of running from a flutter invocation. Not sure if that is a problem. But in that case we could consider introducing a flutter dart or something.

cc @mit-mit are there anyone we should ask or warn?