VIP: allow convert-free upcasts

[charles-cooper]

Simple Summary

per title

Motivation

user-friendliness

Specification

allow assignment from smaller types to larger types within the same typeclass (e.g. uint8 -> uint16), without requiring convert.

classes:

• bytesM -> bytesN
• uintN -> uintK
• intN -> intK

example:

def foo(y: uint8):
    x: uint16 = y  # same as x: uint16 = convert(y, uint16)

Backwards Compatibility

stub

Dependencies

If this VIP depends on any other VIPs being implemented, please mention them.

References

Add any references that this VIP might reference (other VIPs/issues, links to blog posts, etc.)

Copyright

Copyright and related rights waived via CC0