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

* commit '7326e2e86e4992c40e5608281ed5c083025635a8':
  Mark concrete HIR instructions as FINAL.

Change-Id: Ieb90f2ab2a65b335c264d868ec8e19e421bbbe8a