=head2 isa
-handle $self->isa since AUTOLOAD can't.
+handle $self->isa since AUTOLOAD can't - this tries both the type constraint,
+and for a class type, the class.
=cut
-sub isa { shift->_try_delegate('isa', @_) }
+sub isa {
+ my $self = shift;
+ return
+ $self->__type_constraint->isa(@_)
+ || $self->_try_delegate('isa', @_);
+}
=head2 can
=head2 AUTOLOAD
-Delegate to the decorator target.
+Delegate to the decorator target, unless this is a class type, in which
+case it will try to delegate to the type object, then if that fails try
+the class. The method 'new' is special cased to only be permitted on
+the class; if there is no class, or it does not provide a new method,
+an exception will be thrown.
=cut
sub _try_delegate {
my ($self, $method, @args) = @_;
my $tc = $self->__type_constraint;
- my $inv = (
- $tc->isa('Moose::Meta::TypeConstraint::Class')
- ? $self->__type_constraint->class
- : $self->__type_constraint
- );
+ my $class;
+ if ($tc->can('is_subtype_of')) { # Union can't
+ my $search_tc = $tc;
+ while (1) {
+ if ($search_tc->isa('Moose::Meta::TypeConstraint::Class')) {
+ $class = $search_tc->class;
+ last;
+ }
+ $search_tc = $search_tc->parent;
+ last unless $search_tc && $search_tc->is_subtype_of('Object');
+ }
+ }
+
+ my $inv = do {
+ if ($method eq 'new') {
+ die "new called on type decorator for non-class-type ".$tc->name
+ unless $class;
+ die "new called on class type decorator ".$tc->name."\n"
+ ." for class ${class}\n"
+ ." which does not provide a new method - did you forget to load it?"
+ unless $class->can('new');
+ $class
+ } elsif ($class && !$tc->can($method)) {
+ $class
+ } else {
+ $tc
+ }
+ };
+
$inv->$method(@args);
}