{"ast_node_type":"import","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
    // relevant for our use cases?)
    // We currently don't deal with universes (I think / hope they're not yet
    let u_canonical = chalk_ir::UCanonical { canonical: goal, universes: 1 };