{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// inside `&` and union fields where validity is reset to `MaybeInvalid`.
    /// Pending further opsem decisions, the current behavior is: validity is preserved, except
    fn specialize<Cx: PatCx>(self, ctor: &Constructor<Cx>) -> Self {