Jonathan Neufeld
Results
1
comments of
Jonathan Neufeld
I've noticed this fail sporadically with `String Refined MatchesRegex[W.`"""[\\w\\-]+:[\\w\\-]+"""`.T]`, the compiler error reported cites the call site, not the refinement definition.