Merge "hal: add usecase type check"