Re: zero_type of implicit return