[Feature Request] Cast `bool` as `u64` in Move

[alinush]

🚀 Feature Request

Motivation

The following reasonable code:

auditor.epoch += should_increment as u64;

...does not compile:

error: expected `integer` but found a value of type `bool`
    ┌─ /Users/alinush/repos/aptos-core/aptos-move/framework/aptos-experimental/sources/confidential_asset/confidential_asset.move:733:26
    │
733 │         auditor.epoch += (should_increment as u64);
    │                          ^^^^^^^^^^^^^^^^^^^^^^^^^

Pitch

Describe the solution you'd like
Allow casting bool to u64 via the as keyword.

Describe alternatives you've considered
None.

Are you willing to open a pull request? (See CONTRIBUTING)
Maybe.

Additional context

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.

[dvansari65]

@alinush I want to work on this

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.