Fully-qualified use of CheckableDataType::check_datatype in the macro
Otherwise, the error message is unclear ("no function or associated item
named check_datatype
found for struct MyType
in the current scope"
instead of mentioning that MyType
does not implement
CheckableDataType); and it risks calling an unrelated check_datatype
method.