Sandbox tests about specialized types