{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// Used when lowering a type argument that turned out to actually be a const argument.
    /// Only use for that purpose since otherwise it will create a duplicate def.