my $tc = ValAtom->meta->get_attribute('data')->type_constraint;
say $tc->_inline_check('$value') if $tc->can_be_inlined;