tests for non-inlinable type constraints