Inference with unexpected outcome

@zcb7kbgxtgjt found a workaround to use those internal annotations. Not sure if this workaround is a bug in kotlin itself.