fix: subtype check for literal and union types (part 2)

fix: subtype check for literal and union types (part 2) #3020