path: root/dhall/tests/type-errors/unit/UnionTypeMixedKinds2.txt

TypeError { type_message: InvalidFieldType(Label("y"), Type), context: TypecheckContext([]) }