Documentation for method
accepts_type assembled from the following types:
method accepts_type(, )
Performs a type-check of
$checkee against a definite type. This will check if
$checkee is of its base type and matches its definiteness, returning
True if they match or
False otherwise. This metamethod can get called when the definite type is on the right-hand side of a smartmatch, for instance.