syntax_data: {"ast_node_type":"other","tokens":[{"end":2,"kind":"keyword","start":0,"text":"};"}]}
source_snippet: };
context_before:     AllocId, AllocInit, Allocation, CTFE_ALLOC_SALT, Pointer, Scalar, alloc_range,
context_after: use crate::ty::{self, Instance, TraitRef, Ty, TyCtxt};