A name-only subtype now inherits inlining from its parent type

[gitmo/Moose.git] / t / type_constraints / inlining.t

diff --git a/t/type_constraints/inlining.t b/t/type_constraints/inlining.t
index 5e6ebac..af8dd80 100644 (file)
--- a/t/type_constraints/inlining.t
+++ b/t/type_constraints/inlining.t
@@ -75,10 +75,7 @@ subtype 'ArrayOfInlinable',
 
 subtype 'ArrayOfNotInlinable',
     as 'ArrayRef[NotInlinable]';
-
 {
-    local $TODO = 'A subtype of a Parameterized type should not be a Parameterizable type';
-
     my $aofi = Moose::Util::TypeConstraints::find_or_create_type_constraint(
         'ArrayOfInlinable');
 
@@ -86,6 +83,20 @@ subtype 'ArrayOfNotInlinable',
         $aofi->has_inlined_type_constraint,
         'ArrayOfInlinable returns true for has_inlined_type_constraint'
     );
+
+    is(
+        $aofi->_inline_check('$foo'),
+        q{ref $foo eq 'ARRAY' && &List::MoreUtils::all( sub { defined $_ && ! ref $_ && $_ !~ /Q/ }, @{$foo} )},
+        'got expected inline code for ArrayOfInlinable constraint'
+    );
+
+    my $aofni = Moose::Util::TypeConstraints::find_or_create_type_constraint(
+        'ArrayOfNotInlinable');
+
+    ok(
+        !$aofni->has_inlined_type_constraint,
+        'ArrayOfNotInlinable returns false for has_inlined_type_constraint'
+    );
 }
 
 {