Could you add a small comment above this explaining why we have this check as well? Just something mentioning that it's better to yield a rust error than letting LLVM emit the error.