Logically after and not before the type checking, but you could also drop this line.