MustVerifyEmail is indeed an interface. However, there is a trait with the same name, here is the link to the interface and here is the trait, Laravel cannot change the behavior of the language, the class still has to implement the required methods which in this case can be solved just by using the trait.