blob: 1770faa8bbf2aab416eed9c49e3740c0a9443f28 (
plain)
1
|
Type error: Unhandled error: MissingRecordField(Label("x"), Value@Unevaled { value: PartialExpr(RecordLit(DupTreeMap { map: {}, size: 0 })), type: Value@WHNF { value: RecordType({}), type: Type } })
|