class A { void foo() {} } class B { void bar() {} } A a; B b; assert( is( typeof(&a.foo) ) ); assert( is( typeof(&b.bar) ) ); assert(!is( typeof(&a.bar) ) ); assert(!is( typeof(&b.foo) ) ); Or something like that. -- Daniel