syntax_data: {"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":");"}]}
source_snippet:             );
context_before:                 typing_env, trait_item_id, rcvr_args, impl_data
context_after:             assert!(!rcvr_args.has_infer());