type-error-expected-type

(type-error-expected-type condition)

The expected-type slot of a type-error condition -- the type specifier the datum failed. See type-error-datum.