codon type checking error

[learnforpractice]

It sounds like Codon doesn't correctly check some types.

test.codon

class A(object):
        a: Array[byte]
        pos: int
        def __init__(self, ptr: Ptr[byte], len: int):
                self.a = Array[byte](ptr, len)
                self.pos = 0


# wrong type
a = A(Array[byte](10), 10)

# correct type
#a = A(Ptr[byte](10), 10)

print(a.pos)
assert a.pos == 0

output:

10
AssertionError: Assert failed (test.codon:11)

Raised from: 
test.codon:11:1

Backtrace:
  [0x10aef5bd4] main.0 at test.codon:11:1
Abort trap: 6