typecheck tests