Add some tests for closures that return `!`