sobolevn opened this issue 4 years ago · 0 comments
Right now, it is possible to create AssociatedType with bound type variables. This is not really supported during runtime. So, we need a check for this.
AssociatedType