Open
Description
Adding a require(castTpe.exists)
precondition to
fails when coming from
def checkBind
.
It would also probably be a good idea to assert(P.exists)
here.
Adding a require(castTpe.exists)
precondition to
def checkBind
.
It would also probably be a good idea to assert(P.exists)
here.