Subject: | is_TypeName functions do not use inlined coercions |
I discovered this by accident by changing the behaviour of a type declaration, and I'd only changed the check in the non-inlined form, but my tests started passing even though I hadn't changed the inlined form.