It seems like a lot of recent posts on this thread have been about more
general topics than what the OP is concerned about. This discussion could
be made more helpful to the OP if accompanied by an explanation of its
relevance to `_BitInt`. For example, if someone wants to ban implicit
conversions from an integer type to a narrower bit-precise integer type,
they should say so.

-- 
*Brian Bi*