syntax_data: {"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"_"}]}
source_snippet:         _ => bug!("ty: {:?} should not have user provided type {:?} recorded ", ty, user_ty),
context_before:         ty::FnDef(..) => Some(user_ty),
context_after:     }