Commits on Apr 5, 2024

1. Fix match type extraction of a MatchAlias …

   Previously this failed with:
   
   ```
   14 |    val x: Base.ExtractValue[Sub[Int *: EmptyTuple]] = 1
      |                                                       ^
      |           Found:    (1 : Int)
      |           Required: Base.ExtractValue[Sub[Int *: EmptyTuple]]
      |
      |           Note: a match type could not be fully reduced:
      |
      |             trying to reduce  Base.ExtractValue[Sub[Int *: EmptyTuple]]
      |             failed since selector Sub[Int *: EmptyTuple]
      |             does not uniquely determine parameter v in
      |               case Base.BaseOf[v] => v
      |             The computed bounds for the parameter are:
      |               v = Tuple.Head[Int *: EmptyTuple]
   ```
   
   Because the match type logic incorrectly believed that `v` was a non-alias
   TypeBounds.

   

   smarter committed Apr 5, 2024
   Configuration menu

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

   Copy the full SHA

   0ddba5d View commit details

   Browse the repository at this point in the history