syntax_data: {"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"ty::Infer(ty::FreshIntTy(_))"}]}
source_snippet:         ty::Infer(ty::FreshIntTy(_))
context_before:     match *ty.kind() {
context_after:         | ty::Infer(ty::FreshFloatTy(_))