Code

feat: improve type simplification#871

Code

Merged

lars-reimann merged 4 commits intomainSafe-DS/DSL:mainfrom better-type-simplificationSafe-DS/DSL:better-type-simplificationCopy head branch name to clipboardFeb 10, 2024

+95-12

Commits

Commits on Feb 10, 2024

• feat: unwrap type parameter substitutions in class type

  lars-reimann

  committed
  d84b5ac

• fix: Nothing and Nothing? are now assignable to any type with matching nullability

  lars-reimann

  committed
  6cf8ba6

• feat: merge literal types in union types

  lars-reimann

  committed
  5427e3d

• perf: lazily initialize isNullable for literal & union types

  lars-reimann

  committed
  25200e0