{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"///"}]}
    /// Instead, they only hold if the const conditions on the alias also hold. This is why
    /// Unlike item bounds, they are not simply implied by the well-formedness of the alias.
    /// we also register the const conditions of the alias after matching the goal against