law aes256gcm_rejects_wrong_key_length

qasim-bend-kit@0.1.0.2 · LAWS.bend:288

import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

288law aes256gcm_rejects_wrong_key_length:
289    for +bytes: List<&2, U32>
290    for size: {List.length(&2, U32, bytes) != 32n : Nat}
291    {AES.key(bytes) == Fail{AES.InvalidKey{}} :
292        Result<&2, &2, AES.Error, AES.SecretKey>}