Choice bug - substitution of concise-match not implemented

[seanbaxter]

#feature on safety

template<typename T>
choice C {
  a, b, c;

  bool is_b(const self^) noexcept {
    return match(*self; .b);
  }

};

int main() {
  C<int>::b().is_b();
}