{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
    /// The `expected` type at the top level of type checking a pattern.
struct TopInfo<'tcx> {
    expected: Ty<'tcx>,