tree 984dfe5b5c1ea9bffceb6688a90dc0ecc40bded8
parent 50d36afc34e1f533b66ce02ccdf6cf693958355b
author Johnni Winther <johnniwinther@google.com> 1603806998 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1603806998 +0000

[kernel] Make Procedure.kind final

Change-Id: I1a97c483bd0110061f4a60d26d28ab625dbbc00b
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/169220
Reviewed-by: Jens Johansen <jensj@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>