Could not solve typeclass constraint

[franziskuskiefer]

use hax_lib::*;

trait Op {
   fn x() -> Self;
   fn y() -> Self;
}

struct S {}

impl Op for S {
   fn x() -> Self {
      S{}
   }

   fn y() -> Self {
      Self::x()
   }
}

Open this code snippet in the playground

* Error 228 at Playground.fst(58,9-58,40):
  - Could not solve typeclass constraint `Playground.t_Op Playground.t_S`
  - See also FStar.Tactics.Typeclasses.fst(297,6-300,7)
1 error was reported (see above)
make[1]: *** [Makefile:79: Playground.fst.checked] Error 1
make: *** [Makefile:12: all] Error 2