blob: bac9c82c9d16fe02081cf6a292f2cc46b8e6a1f3 [file] [log] [blame]
Nicolas Geoffray454a4812015-06-09 10:37:32 +01001Check that we can optimize interface calls without
2requiring the verifier to sharpen them.