{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"db.const_eval(const_id.into(),"}]}
    db.const_eval(const_id.into(), Substitution::empty(Interner), None)
        .expect("No const named GOAL found in the test");
}