allow type_arg_id nonexist