{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// such cases they *are* represented by the `Infer` variants on [`TyKind`] and
    /// without a [`GenericArg`], instead directly storing a [`Ty`] or [`ConstArg`]. In
    /// [`ConstArgKind`] as it is not ambiguous whether the argument is a type or const.