{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
    /// the precise type parameters). We just store the target
    /// done (in fact, we don't know that, because it might depend on
    /// type. Codegen backends and miri figure out what has to be done