This program fails with an uninformative explicit fail during typechecking. ``` fn main() { fn foo() -> int { ret 3(); } self.foo(); } ``` Fix on the way...