Will if !(t is case text(_)) work?
See my question three years ago on a readable negation of if case .text(_) = t, which would probably be if t is case text(_) under this proposal.
Will if !(t is case text(_)) work?
See my question three years ago on a readable negation of if case .text(_) = t, which would probably be if t is case text(_) under this proposal.