syntax_data: {"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
source_snippet: };
context_before:     self, AdtKind, GenericArgs, InlineConstArgs, InlineConstArgsParts, ScalarInt, Ty, UpvarArgs,
context_after: use rustc_middle::{bug, span_bug};