add test for non-inlinable constraint
no longer being developed separately from Type-Tiny