class AA create make feature make do f (Current) end feature {ANY} f (a: AA) require a (1) do print ("Failed") end feature {AA} g alias "()" (i: INTEGER): BOOLEAN do Result := True end end