More struct typechecking tests