Merge "Mark concrete HIR instructions as FINAL."
am: a741785ddd

* commit 'a741785dddab1f4b79253514287860d11c5800c6':
  Mark concrete HIR instructions as FINAL.

Change-Id: Icf969ead622a38661903f60de00c8564751bcc64