no, there is nothing inferred: you would be right if we were talking about a value of type `Unit`, but a method which returns `Unit` does NOT return a value of type `Unit`