add test to type checking in regression