From 2bd190023904a41eb3889d3dd7fae65ed43e82f9 Mon Sep 17 00:00:00 2001 From: Lukasz Samson Date: Wed, 24 Jun 2026 21:47:25 +0200 Subject: [PATCH] Enable doctests on Descr, Fix stale examples --- lib/elixir/lib/module/types/descr.ex | 12 ++++++------ lib/elixir/test/elixir/module/types/descr_test.exs | 1 + 2 files changed, 7 insertions(+), 6 deletions(-) diff --git a/lib/elixir/lib/module/types/descr.ex b/lib/elixir/lib/module/types/descr.ex index eb318615a1..8469f0002f 100644 --- a/lib/elixir/lib/module/types/descr.ex +++ b/lib/elixir/lib/module/types/descr.ex @@ -1384,10 +1384,10 @@ defmodule Module.Types.Descr do {:ok, atom()} iex> fun_apply(fun([integer()], atom()), [float()]) - :badarg + {:badarg, [integer()], false} - iex> fun_apply(fun([dynamic()], atom()), [dynamic()]) - {:ok, atom()} + iex> fun_apply(dynamic(fun([integer()], atom())), [integer()]) + {:ok, dynamic(atom())} """ def fun_apply(:term, _arguments), do: :badfun @@ -4946,12 +4946,12 @@ defmodule Module.Types.Descr do iex> tuple_fetch(tuple([integer(), atom()]), 0) {false, integer()} - iex> tuple_fetch(bare_union(tuple([integer()]), tuple([integer(), atom()])), 1) - {true, atom()} - iex> tuple_fetch(dynamic(), 0) {true, dynamic()} + iex> tuple_fetch(bare_union(tuple([integer()]), tuple([integer(), atom()])), 1) + :badindex + iex> tuple_fetch(integer(), 0) :badtuple diff --git a/lib/elixir/test/elixir/module/types/descr_test.exs b/lib/elixir/test/elixir/module/types/descr_test.exs index f034818f40..a79b2aa956 100644 --- a/lib/elixir/test/elixir/module/types/descr_test.exs +++ b/lib/elixir/test/elixir/module/types/descr_test.exs @@ -15,6 +15,7 @@ defmodule Module.Types.DescrTest do use ExUnit.Case, async: true import Module.Types.Descr + doctest Module.Types.Descr, import: true defmacro domain_key(arg) when is_atom(arg), do: [arg] defp number(), do: opt_union(integer(), float())