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