+ new test that should fail to compile, but doesn't yet

git-svn-id: trunk@17034 -

.gitattributes

@@ -8283,6 +8283,7 @@ tests/tbf/tb0216.pp svneol=native#text/plain
 tests/tbf/tb0217.pp svneol=native#text/plain
 tests/tbf/tb0218.pp svneol=native#text/plain
 tests/tbf/tb0219.pp svneol=native#text/pascal
+tests/tbf/tb0220.pp svneol=native#text/plain
 tests/tbf/ub0115.pp svneol=native#text/plain
 tests/tbf/ub0149.pp svneol=native#text/plain
 tests/tbf/ub0158a.pp svneol=native#text/plain

tests/tbf/tb0220.pp

@@ -0,0 +1,8 @@
+{ %fail }
+
+type
+  tset = set of byte;
+begin
+  if 2 in tset then
+    writeln('should not compile')
+end.