From 5c59d56335f3777b9e4ad595b66787ed563b26f1 Mon Sep 17 00:00:00 2001
From: Daniel Kirchner <daniel@ekpyron.org>
Date: Tue, 8 May 2018 14:26:01 +0200
Subject: Disallow conversions between bytesX and uintY of different size.

---
 docs/types.rst | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'docs')

diff --git a/docs/types.rst b/docs/types.rst
index 5c20dc67..63cdbe05 100644
--- a/docs/types.rst
+++ b/docs/types.rst
@@ -975,6 +975,15 @@ cut off::
     uint32 a = 0x12345678;
     uint16 b = uint16(a); // b will be 0x5678 now
 
+Since 0.5.0 explicit conversions between integers and fixed-size byte arrays
+are only allowed, if both have the same size. To convert between integers and
+fixed-size byte arrays of different size, they first have to be explicitly
+converted to a matching size. This makes alignment and padding explicit::
+
+    uint16 x = 0xffff;
+    bytes32(uint256(x)); // pad on the left
+    bytes32(bytes2(x)); // pad on the right
+
 .. index:: ! type;deduction, ! var
 
 .. _type-deduction:
-- 
cgit v1.2.3