diff options
author | Björn Gustavsson <[email protected]> | 2018-08-22 10:17:50 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2018-08-22 10:35:43 +0200 |
commit | e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49 (patch) | |
tree | 75eef2c88577234beb177537bab276d85cb66ed3 /lib/compiler/info | |
parent | 924f1573adb661f5f15123b0e7af80bb233418be (diff) | |
download | otp-e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49.tar.gz otp-e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49.tar.bz2 otp-e8deb9f8ff3cb32286ca9b87a36b23aadffd1a49.zip |
beam_validator: Infer the type of the map argument for is_map_key/2
Make sure that beam_validator considers a call to is_map_key/2
followed by an update of the same map without an is_map/1 test
safe. (This situation will probably not be encountered when
using the compiler in OTP 21, but better safe than sorry.)
Diffstat (limited to 'lib/compiler/info')
0 files changed, 0 insertions, 0 deletions