1 files changed, 67 insertions, 0 deletions
diff --git a/t/exceptions/moose-meta-typeconstraint-parameterizable.t b/t/exceptions/moose-meta-typeconstraint-parameterizable.t
new file mode 100644
index 0000000..5ae75fc
--- /dev/null
+++ b/t/exceptions/moose-meta-typeconstraint-parameterizable.t
@@ -0,0 +1,67 @@
+use strict;
+use warnings;
+
+use Test::More;
+use Test::Fatal;
+
+use Moose::Util::TypeConstraints;
+
+{
+    my $t = find_type_constraint('ArrayRef');
+    my $intType = find_type_constraint("Int");
+    my $type = Moose::Meta::TypeConstraint::Parameterizable->new( name => 'xyz', parent => $t);
+
+    my $exception = exception {
+        $type->generate_inline_for( $intType, '$_[0]');
+    };
+
+    like(
+        $exception,
+        qr/Can't generate an inline constraint for Int, since none was defined/,
+        "no inline constraint was defined for xyz");
+
+    isa_ok(
+        $exception,
+        "Moose::Exception::CannotGenerateInlineConstraint",
+        "no inline constraint was defined for xyz");
+
+    is(
+        $exception->type_name,
+        "Int",
+        "no inline constraint was defined for xyz");
+
+    is(
+        $exception->parameterizable_type_object_name,
+        $type->name,
+        "no inline constraint was defined for xyz");
+}
+
+{
+    my $parameterizable = subtype 'parameterizable_arrayref', as 'ArrayRef[Float]';
+    my $int = find_type_constraint('Int');
+    my $exception = exception {
+        my $from_parameterizable = $parameterizable->parameterize("Int");
+    };
+
+    like(
+        $exception,
+        qr/Int is not a subtype of Float/,
+        "Int is not a subtype of Float");
+
+    isa_ok(
+        $exception,
+        "Moose::Exception::ParameterIsNotSubtypeOfParent",
+        "Int is not a subtype of Float");
+
+    is(
+        $exception->type_name,
+        $parameterizable,
+        "Int is not a subtype of Float");
+
+    is(
+        $exception->type_parameter,
+        $int,
+        "Int is not a subtype of Float");
+}
+
+done_testing;