Type narrowing after bytes length check #391
Description
If we have a bytes type value, the compiler should understand that its type has changed to bytes20 after performing a require(x.length == 20) check.
{{ message }}
If we have a bytes type value, the compiler should understand that its type has changed to bytes20 after performing a require(x.length == 20) check.