{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"instance:"}]}
        instance: ty::InstanceKind<'tcx>,
        ecx: &InterpCx<'tcx, Self>,
    ) -> &'tcx mir::Body<'tcx> {