That's a neat trick! I went searching for articles about it and came up empty, though I did find other interesting uses of the "never" type.