Skip to content

Commit

Permalink
flatten
Browse files Browse the repository at this point in the history
  • Loading branch information
yliuuuu committed Feb 29, 2024
1 parent 490c708 commit 5d676bb
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -183,7 +183,7 @@ internal class PlanTyper(
else -> type
}
}.let {
unionOf(it.toSet())
unionOf(it.toSet()).flatten()
}

// rewrite
Expand Down

0 comments on commit 5d676bb

Please sign in to comment.