Checker test to ensure we can inline interface calls.