{"ast_node_type":"function","tokens":[{"end":68,"kind":"keyword","start":0,"text":"fn"}]}
    fn specialize<Cx: PatCx>(self, ctor: &Constructor<Cx>) -> Self {
    /// inside `&` and union fields where validity is reset to `MaybeInvalid`.
        // We preserve validity except when we go inside a reference or a union field.