Syntax extension using type class methods in Scala

Question

I want to bind a check method to the Test in such a way that the implementation does not contain an argument (look at the last line). It is necessa