passed type check tests