[Improvement]: Support distinct error in error semtype integration #43030
Labels
Area/SemtypeIntegration
Issue related to integrating semtype engine
Area/TypeChecker
Type Checker related issues #Compiler
Team/CompilerFE
All issues related to Language implementation and Compiler, this exclude run times.
Type/Improvement
Description
$subject.
distinct error<R>
is equivalent todistinct error & error<R>
.distinct error<R>
semtype can be modeled asCore.intersect(errorDistinct(id), err)
whereerr
is the semtype oferror<R>
.The text was updated successfully, but these errors were encountered: