Commits on Jan 21, 2020

1. Fix variance computation for parameterized type aliases …

   The variance of a type alias was taken to be the variance of its
   right-hand side, but that doesn't make sense for a parameterized type
   alias which is free to appear in any position: variance checking should
   only kick in when it is applied to something.
   
   It was possible to work around this by using a type lambda instead of a
   type alias, cats just had to do that: typelevel/cats#3264

   

   smarter committed Jan 21, 2020
   Configuration menu

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

   Copy the full SHA

   b7d9d19 View commit details

   Browse the repository at this point in the history