{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// `TyKind::Infer` means the type should be inferred instead of it having been
    Pat(&'hir Ty<'hir>, &'hir TyPat<'hir>),
    /// specified. This can appear anywhere in a type.