Commits on May 13, 2019

1. ObjectTpeJava part 2 …

   Make sure the TypeRef is truly unique, even when embedded
   in other types, such as a TypeBounds. Since we're dealing
   with structural equality, `TypeBounds(lo, hi) == TypeBounds(lo', hi')`
   if `lo == lo'` and `hi == hi'`, if `hi = ObjectTpe` and `hi' = ObjectTpe'`,
   `unique`'ing (hashconsing) such a `TypeBounds` would indirectly
   replace `ObjectTpe` with `ObjectTpeJava` or vice versa.
   
   We can't use `eq` when trying to identify `ObjectTpeJava` in `unique`
   due to cycles.
   
   Further fixes by Lukas:
     - Don't show ObjectTpeJava upper bound in TypeBounds.toString
     - Upper bounds of wildcards should be ObjectTpeJava
     - Fix wildcardExtrapolation for BoundedWildcardType with hi ObjectTpeJava
   
   Reduce `_ >: lo <: ObjectTpeJava` to `lo`. This eliminates the
   `BoundedWildcardType` in the expected type when type-checking the
   lambda
   
       (c: java.util.Collection[String]).removeIf(x => true)
   
   where
   
       boolean removeIf(Predicate<? super E> filter)

   

   adriaanm committed May 13, 2019
   Configuration menu

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

   Copy the full SHA

   477edc1 View commit details

   Browse the repository at this point in the history

2. Push ObjectTpeJava handling into a version of typeIsAny

   

   retronym committed May 13, 2019
   Configuration menu

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

   Copy the full SHA

   7bf179f View commit details

   Browse the repository at this point in the history