{"ast_node_type":"struct","tokens":[{"end":22,"kind":"keyword","start":0,"text":"struct"}]}
struct TopInfo<'tcx> {
#[derive(Copy, Clone)]
    /// The `expected` type at the top level of type checking a pattern.