fix #9131, excessive specialization of code_typed