1// prms-id: 5673
2
3class A {
4public:
5  operator int () {
6    return 7;
7  }
8  ~A();
9};
10
11int foo() {
12  return A();
13}
14
15int main() {
16  return foo() != 7;
17}
18
19A::~A() {
20}
21