In reply to peterjin:
Resolution of class based functions is performed at elaboration, not compilation. If you instantiate this class and don’t override the default types, you will get an error. The type you provide as an override is expected to provide the appropriate functions.