No, `JSReturn` would also return `Nothing`. It's like `throw`: you never come back from a `return` expression so its type is `Nothing`.