path: root/test/files/pos/bug1136.check

warning: there were unchecked warnings; re-run with -unchecked for details
one warning found