--- /dev/null
+#!/usr/bin/env perl
+
+use strict;
+use warnings;
+
+use Test::More;
+use Test::Fatal;
+
+{
+ use Moose::Util::TypeConstraints;
+ use List::Util qw( sum );
+
+ subtype 'H1', as 'HashRef[Int]';
+ subtype 'H2', as 'HashRef', where { scalar keys %{$_} < 2 };
+ subtype 'H3', as 'HashRef[Int]',
+ where { ( sum( values %{$_} ) || 0 ) < 5 };
+
+ subtype 'H5', as 'HashRef';
+ coerce 'H5', from 'Str', via { { key => $_ } };
+
+ no Moose::Util::TypeConstraints;
+}
+
+{
+
+ package Foo;
+ use Moose;
+
+ has hash_int => (
+ traits => ['Hash'],
+ is => 'rw',
+ isa => 'HashRef[Int]',
+ handles => {
+ set_hash_int => 'set',
+ },
+ );
+
+ has h1 => (
+ traits => ['Hash'],
+ is => 'rw',
+ isa => 'H1',
+ handles => {
+ set_h1 => 'set',
+ },
+ );
+
+ has h2 => (
+ traits => ['Hash'],
+ is => 'rw',
+ isa => 'H2',
+ handles => {
+ set_h2 => 'set',
+ },
+ );
+
+ has h3 => (
+ traits => ['Hash'],
+ is => 'rw',
+ isa => 'H3',
+ handles => {
+ set_h3 => 'set',
+ },
+ );
+
+ has h4 => (
+ traits => ['Hash'],
+ is => 'rw',
+ isa => 'HashRef',
+ lazy => 1,
+ default => 'invalid',
+ clearer => '_clear_h4',
+ handles => {
+ get_h4 => 'get',
+ accessor_h4 => 'accessor',
+ },
+ );
+
+ has h5 => (
+ traits => ['Hash'],
+ is => 'rw',
+ isa => 'H5',
+ coerce => 1,
+ lazy => 1,
+ default => 'invalid',
+ clearer => '_clear_h5',
+ handles => {
+ get_h5 => 'get',
+ accessor_h5 => 'accessor',
+ },
+ );
+}
+
+my $foo = Foo->new;
+
+{
+ $foo->hash_int( {} );
+ is_deeply( $foo->hash_int, {}, "hash_int - correct contents" );
+
+ isnt( exception { $foo->set_hash_int( x => 'foo' ) }, undef, "hash_int - can't set wrong type" );
+ is_deeply( $foo->hash_int, {}, "hash_int - correct contents" );
+
+ $foo->set_hash_int( x => 1 );
+ is_deeply( $foo->hash_int, { x => 1 }, "hash_int - correct contents" );
+}
+
+{
+ isnt( exception { $foo->set_h1('foo') }, undef, "h1 - can't set onto undef" );
+
+ $foo->h1( {} );
+ is_deeply( $foo->h1, {}, "h1 - correct contents" );
+
+ isnt( exception { $foo->set_h1( x => 'foo' ) }, undef, "h1 - can't set wrong type" );
+
+ is_deeply( $foo->h1, {}, "h1 - correct contents" );
+
+ $foo->set_h1( x => 1 );
+ is_deeply( $foo->h1, { x => 1 }, "h1 - correct contents" );
+}
+
+{
+ isnt( exception { $foo->set_h2('foo') }, undef, "h2 - can't set onto undef" );
+
+ $foo->h2( {} );
+ is_deeply( $foo->h2, {}, "h2 - correct contents" );
+
+ $foo->set_h2( x => 'foo' );
+ is_deeply( $foo->h2, { x => 'foo' }, "h2 - correct contents" );
+
+ isnt( exception { $foo->set_h2( y => 'bar' ) }, undef, "h2 - can't set more than one element" );
+
+ is_deeply( $foo->h2, { x => 'foo' }, "h2 - correct contents" );
+}
+
+{
+ isnt( exception { $foo->set_h3(1) }, undef, "h3 - can't set onto undef" );
+
+ $foo->h3( {} );
+ is_deeply( $foo->h3, {}, "h3 - correct contents" );
+
+ isnt( exception { $foo->set_h3( x => 'foo' ) }, undef, "h3 - can't set non-int" );
+
+ isnt( exception { $foo->set_h3( x => 100 ) }, undef, "h3 - can't violate overall type constraint" );
+
+ is_deeply( $foo->h3, {}, "h3 - correct contents" );
+
+ $foo->set_h3( x => 1 );
+ is_deeply( $foo->h3, { x => 1 }, "h3 - correct contents" );
+
+ isnt( exception { $foo->set_h3( x => 100 ) }, undef, "h3 - can't violate overall type constraint" );
+
+ is_deeply( $foo->h3, { x => 1 }, "h3 - correct contents" );
+
+ $foo->set_h3( y => 3 );
+ is_deeply( $foo->h3, { x => 1, y => 3 }, "h3 - correct contents" );
+}
+
+{
+ my $expect
+ = qr/\QAttribute (h4) does not pass the type constraint because: Validation failed for 'HashRef' with value invalid/;
+
+ like(
+ exception { $foo->accessor_h4('key'); },
+ $expect,
+ 'invalid default is caught when trying to read via accessor'
+ );
+
+ like(
+ exception { $foo->accessor_h4( size => 42 ); },
+ $expect,
+ 'invalid default is caught when trying to write via accessor'
+ );
+
+ like(
+ exception { $foo->get_h4(42); },
+ $expect,
+ 'invalid default is caught when trying to get'
+ );
+}
+
+{
+ my $foo = Foo->new;
+
+ is(
+ $foo->accessor_h5('key'), 'invalid',
+ 'lazy default is coerced when trying to read via accessor'
+ );
+
+ $foo->_clear_h5;
+
+ $foo->accessor_h5( size => 42 );
+
+ is_deeply(
+ $foo->h5,
+ { key => 'invalid', size => 42 },
+ 'lazy default is coerced when trying to write via accessor'
+ );
+
+ $foo->_clear_h5;
+
+ is(
+ $foo->get_h5('key'), 'invalid',
+ 'lazy default is coerced when trying to get'
+ );
+}
+
+done_testing;