"The implementation does not try to find out whether the function or method really returns a value, it is left just up to the user's decision whether to use or not use this hint." . . . . .