{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// canonicalize them and store them as user-given parameters
    /// Given the args that we just converted from the HIR, try to
    /// (i.e., parameters that must be respected by the NLL check).