semantic error: Operator `==` undefined for the types in the expression `t == t`
  --> tests/errors/template_error_09.f90:21:20
   |
21 |             prop = bin(x,y) == bin(y,x)
   |                    ^^^^^^^^^^^^^^^^^^^^ 
