Lots of lessons in language design here. No explicit error return type and null bottom type create high ambiguity in such edge cases.