Search results

Infer types across conditional branches for same variables

Status: Open.

Feature

#15525 In elixir-lang/elixir;

· josevalim opened on Jun 24, 2026

·  

v1.21

tuple_insert_at loses the inserted element and misapplies it at wrong index

Status: Open.

Bug

#15517 In elixir-lang/elixir;

· lukaszsamson opened on Jun 22, 2026

map_put/map_update unsound rewrite of negated BDD

Status: Open.

Bug

#15509 In elixir-lang/elixir;

· lukaszsamson opened on Jun 20, 2026

Descr.tuple_fetch returns :badindex for valid access on difference types

Status: Open.

Bug

#15491 In elixir-lang/elixir;

· lukaszsamson opened on Jun 16, 2026

list_tl underapproximates on difference type

App:Elixir (checker)

Level:Advanced

Status: Open.

Bug

#15490 In elixir-lang/elixir;

· lukaszsamson opened on Jun 15, 2026

Unchecked dependencies for environment

Note:Needs more info

Status: Open.

Bug

#15485 In elixir-lang/elixir;

· m0rt3nlund opened on Jun 15, 2026

Return type of Map.pop is too narrow

Status: Open.

Bug

#15482 In elixir-lang/elixir;

· m1dnight opened on Jun 15, 2026

Perform occurence typing across assignments

Status: Open.

Feature

#15434 In elixir-lang/elixir;

· josevalim opened on Jun 2, 2026

·  

v1.21

Set-theoretic types: type aliases, recursive and polymorphic types

App:Elixir (checker)

Status: Open.

Feature

#15127 In elixir-lang/elixir;

· josevalim opened on Mar 4, 2026

Support Erlang/OTP 29 new features

App:Elixir (stdlib)

Note:Waiting

Status: Open.

Task

#14831 In elixir-lang/elixir;

· josevalim opened on Oct 13, 2025

Upcoming type-related deprecations

App:Elixir (stdlib)

Note:Waiting

Status: Open.

Task

#14377 In elixir-lang/elixir;

· josevalim opened on Mar 28, 2025

Support Erlang/OTP 28 new features

App:Elixir (stdlib)

Note:Waiting

Status: Open.

Task

#14148 In elixir-lang/elixir;

· josevalim opened on Jan 6, 2025