{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// *Incorrectly* skips the WF checks we normally do in `ascribe_user_type`.
    /// FIXME(#104478, #104477): This is a hack for backward-compatibility.