v0.7.2

• Fix the signature name of classes located inside package objects
• Handle intersection types in the qualifier of class type parameter selections
• Handle subtyping and term selection involving term refinements with defs with at least one parameter list

v0.7.1

• Compute the tpe of Lambda trees
• Fix some class type parameter substitutions
• Fix an infinite recursion when compute in baseType in curriously-recursive class hierarchies
• Handle and unify the representation of varargs from all source languages
• Add TermOrTypeSymbol.sourceLanguage, which indicates what language the symbol comes from (Java, Scala 2 or Scala 3)
• Fix the erased names of local classes and classes in the empty package

v0.7.0

• Add support for match types
• Implement subtyping for refined types
• Fix the erasure of Array[Any] and Array[AnyVal].

v0.6.1

• Fix regression #263: Top-level package object is shadowed by class of same name as file name

v0.6.0

• Fix erasure of arrays of union types.
• Cleanups of the Type hierarchy: Type is sealed, and some "internal" Type subclasses are removed.
• The declaredType of parameterless defs is not wrapped in an ExprType anymore.
• ExprType is renamed to ByNameType, clearly indicating that it only applies to by-name types of the form => A.
• Better shapes of Trees for the right-hand-side of type definitions.
• Add signature and targetName in TermSymbol.
• TermSymbol.signedName is changed to return a simple name for parameterless defs. Use signature if you always want a signature.
• Add support for type refinements.

v0.5.8

• Plenty of bug fixes.

v0.5.7

• Add support for reading TASTy files produced by Scala 3.2.x

v0.5.6

• Subtyping for TypeLambda
• Fix opaque type aliases without explicit bounds
• Add a method TermOrTypeSymbol.matchingSymbol

v0.5.5

• Handle News of polymorphic classes with inferred type arguments
• Add a method ClassSymbol.sealedChildren to list the direct children of a sealed class or enum class
• Handle self types, including new methods in ClassSymbol: givenSelfType and selfType

v0.5.4

• Handle more cases in subtyping: scala.| and scala.&, ExprTypes for by-name function arguments, and wildcard type arguments.