@spec required_arm_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Arm)))

@spec required_enum_variant_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Variant)))

@spec required_expr(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.path(:Expr))

@spec required_expr_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Expr)))

@spec required_function_arg_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:FnArg)))

@spec required_item_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Item)))

@spec required_pat(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.path(:Pat))

@spec required_pat_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Pat)))

@spec required_path(term(), RustQ.Type.str()) :: RustQ.Type.nif_result(Path.t())

@spec required_stmt_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Stmt)))

@spec required_string_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(String.t()))

@spec required_struct_field_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Field)))

@spec required_type(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.path(:Type))

@spec required_type_list(term(), RustQ.Type.str()) ::
  RustQ.Type.nif_result(RustQ.Type.vec(RustQ.Type.path(:Type)))