path: root/dhall/tests/type-errors/mixedUnions.txt

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