Implement TypeMatchExpression narrowing

ExportXMLWordPrintableJSON

    • Type: Task
    • Resolution: Fixed
    • Priority: Major - P3
    • 9.1.0-rc0, 9.1.0-rc1024
    • Affects Version/s: None
    • Component/s: None
    • None
    • Query Optimization
    • Fully Compatible
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      Implement narrowType for TypeMatchExpression.

      Cases that should work:

      • {x: {$type: number}} with x = any -> x is array | number
      • {x: {$type: number}} with x = not array -> x is number
      • {x: {$not: {$type: number}}} with x = any -> x is any except number (including array)
      • {x: {$not: {$type: number}}} with x = not array -> x is any except number and array
      • {x: {$not: {$type: array}}} with x = any -> x is any except array
      • also unions: x: {$type: [number, string]}}  tells us string|number|array

       

            Assignee:
            Unassigned
            Reporter:
            Vesko Karaganev
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: