Commits on Jul 26, 2023

1. Support polymorphic functions with erased parameters …

   This adds support for
   ```scala
   [T1, ..., Tn] => ([erased] x1: X1, ..., [erased] xm: Xm) => R
   ```
   
   Polymorphic function types with erased parameters are represented as
   using a refinement on `PolyFunction`. `ErasedFunction` is not needed.
   ```scala
   PolyFunction {
     def apply[T1, ..., Tn]([erased] x1: X1, ..., [erased] xm: Xm): R
   }
   ```

   

   nicolasstucki committed Jul 26, 2023
   Configuration menu

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

   Copy the full SHA

   5625107 View commit details

   Browse the repository at this point in the history