My understanding is "yes, but only type errors that violate guards and pattern matching". Jose's elixirconf keynote this year did a great job providing details

My understanding is "yes, but only type errors that violate guards and pattern matching". Jose's elixirconf keynote this year did a great job providing details on how how this new type system works: https://youtu.be/giYbq4HmfGA?si=ZYf1g_GXr4LmHQ3H https://youtu.be/giYbq4HmfGA?si=ZYf1g_GXr4LmHQ3H