================================================================================
classes/wrongType6
================================================================================

import "pkl:test"

open class Person {
  names: List<String>(!isEmpty)
}

// property default value fails property type check
pigeon = new Person {}

--------------------------------------------------------------------------------

(module
  (importClause
    (stringConstant))
  (clazz
    (modifier)
    (identifier)
    (classBody
      (classProperty
        (identifier)
        (typeAnnotation
          (type
            (type
              (qualifiedIdentifier
                (identifier))
              (typeArgumentList
                (type
                  (qualifiedIdentifier
                    (identifier)))))
            (unaryExpr
              (variableExpr
                (identifier))))))))
  (lineComment)
  (classProperty
    (identifier)
    (newExpr
      (type
        (qualifiedIdentifier
          (identifier)))
      (objectBody))))
