syntax_data: {"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":")"}]}
source_snippet:     ) -> Box<Pat<'tcx>> {
context_before:         ty: Ty<'tcx>,
context_after:         // It's not *technically* correct to be revealing opaque types here as borrowcheck has