Commits on Dec 3, 2023

1. Improve type inference for @something …

   `@something` eagerly unwraps any `Some` given to it,
   while keeping the variable between its arguments the same.
   This can be an issue if a previously unpacked value is used as input
   to `@something`, leading to a type instability on more than two arguments
   (e.g. because of a fallback to `Some(nothing)`). By using different
   variables for each argument, type inference has an easier time handling
   these cases that are isolated to single branches anyway.

   

   Seelengrab committed Dec 3, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 4071555
   • Browse repository at this point

   Copy the full SHA

   4071555 View commit details

   Browse the repository at this point in the history