syntax_data: {"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"infcx.canonicalize_user_type_annotation(ty::UserType::new(ty::UserTypeKind::TypeOf("}]}
source_snippet:             infcx.canonicalize_user_type_annotation(ty::UserType::new(ty::UserTypeKind::TypeOf(
context_before:             .args;
context_after:                 def_id.to_def_id(),