On Jul 10, 2017, at 12:45 AM, forax at univ-mlv.fr wrote: > > you do not have to choose between hard and soft line because you have created an opt-in mechanism. > … > The semantics of matches should be exactly the semantics of instanceof, so you can replace one by the other. Yes.