syntax_data: {"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
source_snippet: };
context_before:     self, CoroutineArgs, CoroutineArgsExt, GenericArgsRef, InstanceKind, Ty, TyCtxt, TypingMode,
context_after: use rustc_middle::{bug, span_bug};