{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
    // conversion between them + `unwrap()`.
    // It's awkward to wrap a single ID in two enums, but we need both and this saves fallible
    GenericDef(ValueTyDefId, GenericDefId, Substitution),