Merge "Mark concrete HIR instructions as FINAL."