fun(int)1 class A { void fun(int) {} } 2 fun(int x)3 class B : A { void fun(int x) in { assert(x > 0); } body {} } 4