{"ast_node_type":"import","tokens":[{"end":107,"kind":"keyword","start":0,"text":"//"}]}
                    // No `ty::` prefix since we also use this to represent errors from `mir::Unevaluated`.
                    }
                    ty::ConstKind::Error(_) => "Error".to_string(),