{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"ty::InstanceKind::Item(def)"}]}
            ty::InstanceKind::Item(def) => ecx.tcx.mir_for_ctfe(def),
        match instance {
            _ => ecx.tcx.instance_mir(instance),